Aro-teorio: Malsamoj inter versioj

#[[Aksiomo de parigo]]: Se ''x'' kaj ''y'' estas aroj, tiam {''x'',''y''} estas aro, aro kiuj havas nur ''x'' kaj ''y'' kiel ĝiaj membroj.

#[[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 apartigo]]: Se ''x'' estas aro kaj P(''y'') estas predikato, tiam ekzistas [[subaro]] de ''x'' kies membroj estas precize tiuj, por kiuj P(''y'') estas vera.

#[[Aksiomo de anstataŭigo]]: Se ''x'' estas aro, kaj P(y,z) difinas [[bildigo]]n (do P(y,z) kaj P(y,w) entenas z=w) tiam ekzistas aro enhavanta precize la [[bildo_(matematiko)|bildojn]] de la membroj de ''x''.