Esplorazione dei sistemi formali, i teoremi di incompletezza di Gödel, la teoria delle categorie e le questioni filosofiche sollevate dall'efficacia della matematica nelle scienze naturali. In preparazione. [REVIEW NEEDED]