网站首页 百科知识
指基于某个一阶语言L之上的理论T。满足:对于任意语句σεS(L),T σ和T⇁σ中有且只有一成立。这里S(L)表示L中所有句子的集合;T 表示可由T推出。
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。