أرسل هذا في رسالة قصيرة: Theory of formal systems