L'uomo è in grado di osservare il mondo, riconoscere le regolarità e formare dei modelli. Ma non solo. L'uomo è anche in grado di analizzare il processo stesso mediante cui forma i suoi modelli; questa è la logica.
In quest'opera - pensata e scritta per studenti delle scuole superiori ma adatta anche a chiunque abbia interesse per le basi filosofiche della matematica - si descrivono le radici che sorreggono l'imponente albero della matematica: come dall'osservazione dei caratteri fondamentali della realtà sorgano i principi della logica e come il concetto di numero emerga dall'ambito degli insiemi.
Il testo è suddiviso in quattro parti: le basi della logica, la teoria degli insiemi, la struttura delle dimostrazioni, il principio di induzione matematica. Al termine di ogni sezione vi sono delle utili domande di conoscenza e una serie di problemi per verificare la comprensione dei termi affrontati.