"From the primitive symbols, certain formulas are defined as well formed, some of which are listed as axioms; and rules are stated for infer ring one formula as a conclusion from one or more other formulas taken as premises."

公式即基設符號所形成的一種良構(gòu)表式，其中一部分被列為公理日女人逼逼视频黄色网站；推演規(guī)則被用來從一個或多個作為前提的公式推演出一個作為結(jié)論的公式。

ring axioms：環(huán)公理

ring 環(huán) | ring axioms 環(huán)公理 | ring extension 環(huán)擴張