|
Cerchiamo di capire in queste pagine che cos'e' una teoria matematica e descriviamone gli aspetti principali; studiamo poi le caratteristiche di un sistema di assiomi Vedremo poi come l'aritmetica e' centrale nella matematica e quindi costruiremo un sistema di assiomi, oltre a quelli di Peano, che permettano di effettuare le normali operazioni fra numeri naturali: otterremo una teoria formale che chiameremo aritmetica Infine vedremo che, siccome i sistemi formali hanno delle limitazioni, tali limitazioni saranno proprie dell'aritmetica in particolare e della matematica in generale
|
|
|
|
|