3 Fondamenti[00C]

3.1 Logica

[1YS]↺↻

3.2 Teoria degli insiemi

[1YT]↺↻

3.3 Relazioni

[1YV]↺↻

3.4 Ordinamenti

[1YY]↺↻

3.5 Funzioni

[1YR]↺↻

3.6 Passaggio al quoziente

[1Z5]↺↻

3.7 Numeri naturali in ZF

[246]↺↻

3.8 Buoni ordinamenti

[1YQ]↺↻

3.9 Cardinalità

[1YW]↺↻

3.10 Operazioni su insiemi

[1YX]↺↻

3.11 Combinatoria

E1

[09N]↺↻

E1

[09Q]↺↻

Si veda anche l’esercizio [02Y]↺↻.