网站首页  百科知识

请输入您要查询的百科知识:

 

词条 完全理论
类别 中文百科知识
释义

完全理论

指基于某个一阶语言L之上的理论T。满足:对于任意语句σεS(L),T σ和T⇁σ中有且只有一成立。这里S(L)表示L中所有句子的集合;T 表示可由T推出。

随便看

 

开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2000-2025 oenc.net All Rights Reserved
更新时间:2025/9/28 15:55:16