- arithmetic. Non-logical
axioms may also be
called "postulates", "****umptions" or "proper
axioms". In most cases, a non-logical
axiom is
simply a
formal logical...
-
mathematical logic, the
Peano axioms (/piˈɑːnoʊ/, [peˈaːno]), also
known as the Dedekind–Peano
axioms or the
Peano postulates, are
axioms for the
natural numbers...
- the
axioms of Zermelo–Fraenkel set theory. Most of the
axioms state the
existence of
particular sets
defined from
other sets. For example, the
axiom of...
-
probability axioms are the
foundations of
probability theory introduced by
Russian mathematician Andrey Kolmogorov in 1933.
These axioms remain central...
- the
axiom of
choice for
their proofs.
Contemporary set
theorists also
study axioms that are not
compatible with the
axiom of choice, such as the
axiom of...
-
branches of
mathematics and
philosophy that use it, the
axiom of
infinity is one of the
axioms of Zermelo–Fraenkel set theory. It
guarantees the existence...
- sets of
axioms, Pasch's
axiom can be
proved as a theorem; it is a
consequence of the
plane separation axiom when that is
taken as one of the
axioms. Hilbert...
-
axiom Axiom of
constructibility Rank-into-rank Kripke–Platek
axioms Diamond principle Parallel postulate Birkhoff's
axioms (4
axioms) Hilbert's
axioms (20...
-
record producer Axioms (album), a 1999
album by Asia
Axiom (computer
algebra system), a free, general-purpose
computer algebra system AXIOM (camera), a professional...
-
axioms can be
formulated which are
logically equivalent to the
parallel postulate (in the
context of the
other axioms). For example, Playfair's
axiom...