EDB — 27K

view in whole PDF view in whole HTML

Vista

Italiano

4.4 Ordinamento[27K]

Ipotesi 26

[26H]

Teorema 27

[26Y]

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]

QuasiEsercizio 18

[293]

Ordinamento dall’aritmetica

[287]

Ordinamento e aritmetica

[28Q]

Scarica PDF
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese