Uno dei caratteri più sorprendenti della matematica (che è forse quasi unica sotto questo aspetto fra le varie discipline) è quello che la verità di proposizioni può essere realmente stabilita per mezzo di ragionamenti astratti!