أرسل هذا في رسالة قصيرة: Relating Z and First−order logic