网站首页 百科知识
构成形式系统的语言，称为对象语言。它可以构成形式系统，但无法刻划其性质，也无法说明自身。要完成这种刻划和说明，就需要一种区别于对象语言的语言，称为元语言。元语言以对象语言为对象，用于说明对象语言的性质、类别以及刻划和论证形式系统的性质。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。