Aro-teorio: Malsamoj inter versioj

#[[Aksiomo de etendo]]: Du aroj estas samaj [[se kaj nur se]] ili havas la samajn membrojn.

#[[Aksiomo de malplena aro]]: Ekzistas aro sen iuj ajn membroj. Oni skribas ĝin kiel {}.

#[[Aksiomo de kunaĵo]]: Por ĉiu aro ''x'' ekzistas aro ''y'' tiel ke la membroj de ''y'' estas precize la membroj de la membroj de ''x''.

#[[Aksiomo de senfineco]]: Ekzistas aro ''x'' tiel ke {} estas membro de ''x'', kaj se ''y'' estas membro de ''x'', tiam ankaŭ la kunaĵo ''y'' U {''y''} estas membro de ''x''.