Khác biệt giữa các bản “Nhóm tuần hoàn (lý thuyết nhóm)”

n
không có tóm lược sửa đổi
(AlphamaEditor, Executed time: 00:00:00.6876842 using AWB)
n
 
 
== Logic toán ==
Một trong những tính chất thú vị của các nhóm tuần hoàn là định nghĩa này không thể được chính thức hóa theo [[logic bậc nhất]]. Làm như vậy đòi hỏi một tiên đề có dạng
 
: <math>\forall x.\, ((x=e) \lor (x\circ x=e) \lor ((x\circ x)\circ x=e) \lor \cdots)</math>