Axioma, axiom, axioms of the distance formulas, axiom of mathematical induction, axiomatization and formalization, axiom based on utility difference, axiom for social welfare function, axiomatic approach in mathematics, axiom for value wise independence, axiomatic development of Boolean-algebra 返回 Axiomatizing