有一些伟大的科学家，比如欧几里得，一个人就把几百年几何的问题全解了，因为几何不需要做任何实验，它就是一个结构化的思维。所以这个持续了 2000 多年，包括一阶逻辑。一阶逻辑现象很早就有人研究，研究了 1400 多年，直到上个世纪 40 年代，我们才把一阶逻辑全部形式化。