Questo teorema sarà dimostrato in seguito: unicità in [267], buon ordinamento in [273]. L’esistenza di una tale relazione deriva dal modello Z-F, come visto in precedenza e ricapitolato in Sezione [26F]; oppure l’ordinamento si può definire usando l’aritmetica, come mostrato in Sezione [287].