أرسل هذا في رسالة قصيرة: On Galois correspondences in formal logic