本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。
The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.
哥德尔不完备性定理抽走了数学家的逻辑美信仰，数学界出现了信仰危机。
Godel theorem made mathematicians lose their belief of logic beauty, the crisis of belief appeared in mathematical field.
工作哥德尔表明，任何有用的系统算法可以是一致的和完整的：见哥德尔的不完备性定理。
Thework of Kurt Gödel has shown that no useful system of arithmetic can beboth consistent and complete: see Gödel's incompleteness theorems.
应用推荐