axiom
111axiom — Akioma …
112axiom — A principle that is not disputed; a maxim …
113axiom — n. 1 an established or widely accepted principle. 2 esp. Geom. a self evident truth. Etymology: F axiome or L axioma f. Gk axioma axiomat f. axios worthy …
114reducibility, axiom of — Axiom introduced by Russell and Whitehead in Principia Mathematica. In that system propositional functions are sorted into levels, as part of the ramified theory of types. The axiom says that for any function at any level there exists a formally… …
115infinity, axiom of — Axiom needed in Russell s development of set theory to ensure that there are enough sets for the purposes of mathematics. In the theory of types, if there were only finitely many objects of the lowest type, then there would only be finite sets at …
116axiom of extensionality — noun One of the axioms in axiomatic set theory, equivalent to the statement that two sets are equal if and only if they contain the same elements …
117axiom of choice — noun One of the axioms in axiomatic set theory, equivalent to the statement that an arbitrary direct product of non empty sets is non empty …
118axiom of parallels — parallel postulate …
119axiom system — noun : a set of axioms together with formal rules for derivation of theorems compare transformation rule …
120Fano-Axiom — Das Fano Axiom ist in der synthetischen Geometrie ein Inzidenzaxiom sowohl für affine Ebenen als auch für projektive Ebenen. Es ist nach dem italienischen Mathematiker Gino Fano benannt. In affinen oder projektiven Ebenen über einem Schiefkörper… …
