【计】 公理系统

该文将对这一逻辑建立系统，并证明其元逻辑性质。

axiom system【数】;axiomatic system【数】

axiomatic

interpreting axiomatic language

Armstrong axiomatic Arms-trong

axiomatic approach to probability【统计】 数

axiomatic development of Boolean-algebra【数】

axiomatic system of information theory【数】

axiomatic quantum field theory