2.1.
Continua cardinalita': teorema di Dedekind; teorema di Cantor (|X|<|P(X)|); l'insieme delle parti dei numeri naturali ha la cardinalita'
dei numeri reali.

2.2.
Assiomi di Peano. Relazione d'ordine totale, somma, prodotto in un insieme soddisfacente gli assioni di Peano.
Principio d'induzione implica assioma del buon ordinamento.

2.3.
- Conclusione equivalenza buon ordinamento, induzione ed induzione seconda forma.
- Esercitazione.

Referenze bibliografiche.
2.1.
[C] Teorema 4 p.47
[C] Lemma 1 + Teorema 3 p. 46.
2.2.
- Assiomi di Peano: [C] 1.5.A, pp 25, 26 27, 28.
- Principio d'induzione implica assioma del buon ordinamento: [C] teorema 1, p 28.

Esercizi per casa del 13/3/2012.

2.3.
- Conclusione equivalenza buon ordinamento, induzione ed induzione seconda forma: sempre [C] p. 28.