أرسل هذا في رسالة قصيرة: On the axiomatization of "if-then-else" /