Aksioma Pada Himpunan

Aksioma 1 (Ekstensional)
jika dua himpunan mempunyai anggota yang sama persis, maka himpunan tersebut sama.

Aksioma 2 (Himpunan Kosong)
himpunan kosong adalah himpunan yang tidak mempunyai anggota

Aksioma 3 (Pasangan Himpunan)
untuk setiap himpunan u dan v , ada himpunan yang memiliki anggota hanya u dan v, ditulis {u,v}

 
Aksioma 4 (Gabungan Himpunan)
untuk sembarang himpunan yang anggota-anggotanya adalah himpunan yang termuat disalah satu a atau b(atau keduanya)

 

 Aksioma 5

Untuk sebarang himpunan a, ada himpunan yang anggota-anggotanya hanya subset-subset dari a.