plural of completeness axiom

plural of axiom schema

plural of axiom of choice

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that if two sets exist, there exists a set with those two sets as its sole elements.

(set theory) One of the axioms in axiomatic set theory that guarantees the existence of an infinite set.

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that a union exists for any set, containing exactly all the elements contained within the sets within that set.

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that every non-empty set contains a member that is disjoint from that set.

(geometry) A statement in plane geometry, used implicitly by Euclid, which cannot be derived from Euclid's postulates. It states that, if a line, not passing through any vertex of a triangle, meets one side of the triangle then it meets another side.

(databases) A set of references (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database.

plural of Wightman axiom