أرسل هذا في رسالة قصيرة: Proof, logic, and formalization