Axioms
https://en.wikipedia.org/wiki/List_of_axioms https://en.wikipedia.org/wiki/Category:Mathematical_axioms https://en.wikipedia.org/wiki/Category:Axioms_of_set_theory
https://en.wikipedia.org/wiki/Relation_algebra
This is a description of all distinct axioms reoccuring in mathematics. Some axioms are tied only to a single particular subject or situation, and some are more general. Out of the more general ones, the set of the most common axioms consists of the very familiar axioms that occur in many different mathematical areas.
The Most Common Axioms (MCA)
Identity
The first place goes to identity. Almost everybody's got one, except semis.
Associativity
The second place goes to associativity. Hardly a surprise, since this guy has appeared in blockbusters such as "pretty much everyhing that has got to do with numbers", "operators, actually", "operation: binary", to name just a few.
Axiom list @wolfram.com
https://en.wikipedia.org/wiki/Category:Mathematical_axioms
https://mathworld.wolfram.com/topics/Axioms.html
https://en.wikipedia.org/wiki/List_of_axioms
absorption law absorption identity algebra of random variables zermelo-fraenkel axioms axiom of choice axiom of extensionality axiom of foundation axiom of infinity axiom of replacement axiom of subsets axiom of the empty set axiom of the power set axiom of the sum set axiom of the unordered pair axioms of subsets congruence axioms continuity axioms de morgan's laws eilenberg-steenrod axioms long exact sequence of a pair axiom homotopy axiom excision axiom dimension axiom euclid's postulates equidistance postulate field axioms hausdorff axioms hilbert's axioms incidence axioms induction axiom kolmogorov's axioms ordering axioms parallel postulate peano's axioms peano arithmetic playfair's axiom presburger arithmetic probability axioms proclus' axiom
THE LIST
Identity Totality/Closure Associativity Commutativity
Distributivity Invertability Idempotency
Absorption Annihilation Cancellation Domination
Complement Connex Euclidean Involution Linearity Monotonicity
Reflexivity Symmetry Transitivity Trichotomy Functional (left-total) Serial (right-unique)
Well-ordering Well-formedness Well-foundedness Well-definedness
PAGES
absorption annihilation associativity cancellation closure commutativity complement connex distributivity domination euclidean idempotency identity invertibility involution linearity monotonicity reflexivity symmetry totality transitivity trichotomy well-definedness well-formedness well-foundedness well-ordering
Last updated