Axioma, axiom, axiom for dependencies, axiomatic field theory, axiom of comprehension, axiom for effectiveness, axiomatic specification, axiom schema of subsets, axiom of constructivity, axiom of extensionality, axiomesial line-angle, axiomatic quantum theory 返回 axiomatics