Complete existential theory of the postulates for well orderend sets. (Q1470433)

Neben zwei älteren, in Arithmetik und Mengenlehre gebräuchlich gewordenen Methoden, einfache Ordnung axiomatisch festzulegen, wird eine dritte für manche Zecke geeignetere angegeben, und für alle drei Axiomensysteme die ``vollständige Unabhängigkeit'' (im Sinne \textit{E. H. Moores}) bewiesen. In der zweiten Arbeit wird diese Methode auf die axiomatische Festlegung der Wohlordnung übertragen.