Obiettivi formativi
Conoscenza dei primi elementi di una teoria assiomatica degli insiemi, nella quale sviluppare poi l'Aritmetica (secondo Peano).
Contenuti dell'insegnamento
Teoria degli insiemi alla Halmos. Numeri naturali alla Peano, Teoremi di Induzione, Teoremi di ricorsione; Assioma di Peano-Lawere. Numeri naturali come cardinali finiti. La Teoria degli insiemi di Morse-Kelly-Mostowski.
Bibliografia
<p> </p>
<p> </p>
<p>[1] P.R. HALMOS, Naïve Set Theory, Springer 1974.</p>
<p>[2] W.S. HATCHER, Fondamenti della Matematica, Boringhieri 1973.</p>
<p>[3] J.D. MONK, Introduzione alla Teoria degli insiemi, Boringhieri 1977.</p>
<p>[4] W. JUST, M. WEESE, Discovering modern set theory, AMS 1996 </p>