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 借书 阅读(168) 评论(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)

导航