أرسل هذا في رسالة قصيرة: Finite axiomatizability for profinite groups