网站首页 百科知识
以形式语言、形式系统和它们的解释为对象的理论。主要研究形式系统的一致性、完全性，可判定性以及公式集的独立性等等。模型论和证明论属于元理论。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。