关于证明和逻辑推理

关于证明和逻辑推理

这两者来自于古希腊的数学公理中的同类思想，它的基本思想是在一些基本的，不言自明的定理上证明其他定理的过程，它表现为一个执行的过程，就好比lisa项目中涉及的定义初始lambda，然后证明建立在lambda基础上的其它复杂"定理"的正确性一样，思维是一致的。