Coba jelasin Kebebasan dari Induksi-epsilon dong

Dalam konteks dari konstruksi Zermelo–Fraenkel teori himpunan konstruktif, mengutip Aksioma keteraturan akan menyiratkan kaidah menengah terkecuali dan juga induksi himpunan. Tapi kemudian hasil teorinya akan menjadi teori himpunan Zermelo–Fraenkel standar. Namun, sebaliknya, induksi himpunan menyiratkan baik bukan dari dua. Dengan kata lain, dengan sebuah kerangka logika konstruktif, induksi himpunan seperti yang dinyatakan di atas lebih lemah sempurna daripada keteraturan.