·弗雷格、 大卫·希尔伯特、库尔特·哥德尔，等等，都在这个过程中非常重要。 
本质.
逻辑学基本原理.经典逻辑的四个基本公理：只与非经典逻辑有关的公理：
逻辑系统的性质.逻辑系统可具有下列性质：一些逻辑系统不拥有上述所有性质，比如库尔特·哥德尔的哥德尔不完备定理证明了，没有任何一个蕴涵皮亚诺公理的算术形式系统可以同时满足自洽性和完备性。同时他的针对没有通过特定公理扩展为带有等式的算术形式系统的一阶谓词逻辑的定理，证实了它们