2014年6月2日

4.2 THE COMPLETENESS THEOREM: (5) The right-hand sides depend only on the $\mathbf{a_i^{\circ}}$ and not on the $\mathbf{a_i}$

摘要： The right-hand sides of n-ary function and predicate definition in canonical structure depend only on the $\mathbf{a_i^{\circ}}$ and not on the $\mathbf{a_i}$ 阅读全文

posted @ 2014-06-02 22:19 借书 阅读(175) 评论(0) 推荐(0)

4.2 THE COMPLETENESS THEOREM: (4) The definition of canonical structure $\mathbf{\alpha}$ for $\mathbf{T}$

摘要： The definition of canonical structure $\mathbf{\alpha}$ for $\mathbf{T}$ 规范结构的定义 阅读全文

posted @ 2014-06-02 21:56 借书 阅读(233) 评论(0) 推荐(0)

2014年6月1日

4.2 THE COMPLETENESS THEOREM: (3) Lemma 1.

摘要： Lemma 1. if $\mathbf{T'}$ is an extension of $\mathbf{T}$, and $\mathbf{\alpha'}$ is a model of $\mathbf{T'}$, then the restriction of $\mathbf{\alpha'}$ to $\mathbf{L(T)}$ is a model of $\mathbf{T}$.（引理1. 如果$\mathbf{T'}$是$\mathbf{T}$的扩展，并且$\mathbf{\alpha'}$是$\mathbf{T'}$的一个模型, 那么对于$\mathbf{L(T)}$的$\mathbf{\alpha'}$的限制是$\mathbf{T}$的一个模型.） 阅读全文

posted @ 2014-06-01 23:38 借书 阅读(167) 评论(0) 推荐(0)

4.2 THE COMPLETENESS THEOREM: (2) If A theory $\mathbf{T}$ has a model, then it is consistent.

摘要： If A theory $\mathbf{T}$ has a model, then it is consistent.（如果一个理论有一个模型，那么它是协调的） 阅读全文

posted @ 2014-06-01 20:16 借书 阅读(199) 评论(0) 推荐(0)

2014年5月24日

4.2 THE COMPLETENESS THEOREM: (1) The second form of the completeness theorem implies the first.

摘要： The second form of the completeness theorem implies the first.（完备性定理的第二形蕴含了第一形） 阅读全文

posted @ 2014-05-24 16:15 借书 阅读(197) 评论(0) 推荐(0)

导航