Istituzioni di Matematica - Appunti - Parte 2

Argomenti trattati: continuazione della prima parte,tautologie,contraddizioni,deduzione logica,metodi di dimostrazione,doppia deduzione logica,enunciati associati ad un problema,formalizzazione del processo logico,teorie logiche,teorie quantificate,teoria degli insiemi,costruzione di una teoria matematica formale,criteri di veritÃ ,teorie ugualitarie,teoria degli insiemi,cos'Ã¨ un insieme