1) open ste axiom
开集公理
2) set-theorectic axioms CLC number:O189.11 Document code:A
集论公理
3) axiom of the empty set
空集公理
4) axiom of union
并集公理
5) axiom of power
幂集公理
6) axiom of subset
子集公理
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条