Aksioma perluasan itu apa sih?

Aksioma perluasan (atau aksioma kesamaan) adalah suatu aksioma teori himpunan yang dirumuskan oleh Richard Dedekind pada tahun 1888, yang menyatakan bahwa dua himpunan adalah sama jika dan hanya jika keduanya memiliki anggota yang sama. Dari Dedekind ini kemudian Ernst Zermelo mengambil aksimoa perluasan ini untuk masuk dalam teori himpunan Zermelo.