Jabarkan Bunyi aksioma dari Aksioma perluasan

Secara formal, dalam bentuk logika predikat dengan objek-objeknya adalah himpunan, aksioma perluasan dapat ditulis sebagai

artinya sebarang himpunan  dan  dikatakan sama jika dan hanya jika berlaku setiap anggota himpunan   adalah anggota himpunan  dan anggota himpunan  adalah  anggota himpunan .