网站首页 百科知识
一种用形式语言构造形式系统的方法。包括四个步骤：给出初始符号，所构造的系统中只出现这些符号；给出形成规则，初始符号依据形成规则构成系统内的公式；给出公理，即系统内不经证明就加断定的公式；给出推理规则，规定公式间的推导只有哪些才被允许。形式化的处理使一个演绎系统变得更为严格。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。