Jabarkan Keteraturan dari Set semesta dalam bahasa melayu

Dalam teori set Zermelo–Fraenkel, aksiom keteraturan dan aksiom pasangan menghalang sebarang set daripada mengandungi dirinya. Bagi sebarang set , set itu,  (dibina melalui pasangan) semestinya mengandungi unsur yang terputus daripada , mengikut keteraturan. Kerana satu-satunya elemennya ialah , pastinya  adalah terputus daripada , dan oleh itu,  tidak mengandungi dirinya sendiri. Kerana set semesta sepatutnya mengandungi dirinya sendiri, ia tidak boleh wujud di bawah aksiom ini.