公理系统axiom system【数】;axiomatic system【数】
邻域公理neighbo(u)rhood axiom【数】
第二可数公理second axiom of countability【数】;second countability axiom【数】;
选择公理axiom of choice【数】;axiom of selection【数】
幂集公理axiom of power set【数】
替换公理axiom of replacement【数】;axiom of substitution【数】
公理的独立性independence of axiom【数】
公理axiom【数】