Partiendo de un sistema de axiomas o verdades a priori, que tenían carácter intuitivo utilizó por primera vez el conocido esquema premisa-teorema-demostración.