| 3 | | [collana] |
| 4 | | [colophon] |
| 5 | | [frontespizio] |
| 7 | | [dedica] |
| 9 | | [esergo] |
1964.03;14277 | 11 | | Premessa |
| | | {titolo} |
| 17 | Parte prima. | Le concezioni platonistiche della matematica |
| 19 | Capitolo primo. | Il concetto cantoriano di insieme |
| 19 | 1. | Origini |
| 21 | 2. | Caratteristiche generali |
| 29 | 3. | Le critiche |
| 30 | Capitolo secondo. | La prima difficoltà: le antinomie logiche |
| 33 | Capitolo terzo. | La teoria dei tipi semplici di Russell-Chwistek-Ramsey |
| 38 | Capitolo quarto. | Le teorie assiomatiche degli insiemi di tipo Zermelo-Skolem-Fraenkel |
| 38 | 1. | Il sistema di E. Zermelo |
| 42 | 2. | Le critiche al sistema di Zermelo |
| 54 | 3. | Il sistema di Zermelo-Fraenkel-Skolem |
| 56 | Capitolo quinto. | Le teorie assiomatiche degli insiemi di tipo von Neumann-Bernays-Gödel |
| 56 | 1. | Il sistema di John von Neumann |
| 67 | 2. | Il sistema di R. Robinson |
| 71 | 3. | I sistemi di P. Bernays |
| 93 | 4. | Il sistema di K. Gödel |
| 97 | Capitolo sesto. | Altri sistemi. Conclusioni sulla prima difficoltà |
| 98 | 1. | I sistemi delle New Foundations e della MAthematical Logic |
| 103 | 2. | Il sistema di W. Ackermann |
| 105 | 3. | Conclusioni |
| 110 | Capitolo settimo. | La seconda difficoltà: le definizioni impredicative |
| 118 | Capitolo ottavo. | La terza difficoltà: il paradosso di Skolem |
| 118 | 1. | Il paradosso di Skolem |
| 120 | 2. | Il relativismo di Skolem |
| 124 | 3. | Il problema del metofo assiomatico |
| 131 | Parte seconda. | Le concezioni concettualistiche della matematica |
| 133 | Capitolo nono. | La matematica come scienza costitutiva |
| 133 | 1. | Le idee di L. Kronecker |
| 137 | 2. | Predicativismo e intuizionismo |
| 141 | Capitolo decimo. | Ramificazione dei tipi |
| 141 | 1. | La teoria ramificata dei tipi |
| 146 | 2. | Difficoltà |
| 149 | 3. | L'assioma della riducibilità |
| 155 | CApitolo undicesimo. | Ordini cumulativi transfiniti |
| 155 | 1. | Tipi e ordini cumulativi |
| 156 | 2. | Eliminazione dei tipi |
| 159 | 3. | Gli ordini transfiniti |
| 161 | 4. | Il sistema 𝕲 di Hao Wang |
| 166 | Capitolo dodicesimo. | Le teorie predicative di H. Weyl |
| 166 | 1. | I sistemi di H. Weyl |
| 170 | 2. | I sistemi 𝖂 e 𝖂* |
| 177 | 3. | Numeri naturali. Numeri reali |
| 183 | CApitolo tredicesimo. | La matematica intuizionistica |
| 183 | 1. | Il programma brouwerianoù |
| 186 | 2. | Logica. Metodologia. Aritmetica |
| 195 | 3. | I generatori di numero reale |
| 200 | 4. | Continuo e quantificatori |
| 208 | 5. | Alcuni fatti particolari |
| 210 | | Conclusione |
| 215 | | Bibliografia |
| 227 | | Indice dei nomi |
| 229 | | Indice |
| 231 | | _ |
| 232 | | [tipografia] |
| 232 | | ___ |