EDB — 27K

4.4 Ordinamento[27K]

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]↺↻.

Esercizi

1. [267]↺↻

2. [271]↺↻

3. [276]↺↻

4. [277]↺↻

5. [26X]↺↻

Ordinamento dall’aritmetica

[287]↺↻

Ordinamento e aritmetica

[28Q]↺↻