- Philosophy.
Metamath version of the ZFC
axioms — A
concise and
nonredundant axiomatization. The
background first order logic is
defined especially to facilitate...
- an
inner existential quantifier.
Shoenfield (1967, p. 22)
gives an
axiomatization that has only (implicit)
outer universal quantifiers, by dispensing...
- the
standard ZFC
axiomatization of set theory. Czesław Ryll-Nardzewski
proved that
Peano arithmetic cannot be
finitely axiomatized, and
Richard Montague...
- (compact
totally disconnected Hausdorff)
topological space. The
first axiomatization of
Boolean lattices/algebras in
general was
given by the
English philosopher...
-
Sanders Peirce provided an
axiomatization of natural-number arithmetic. In 1888,
Richard Dedekind proposed another axiomatization of natural-number arithmetic...
-
possessed by all
natural numbers ("Induction axiom"). In mathematics,
axiomatization is the
process of
taking a body of
knowledge and
working backwards towards...
-
vacuum the Einstein–Hilbert equations. (Leo Corry,
David Hilbert and the
Axiomatization of Physics, p. 437)
Since 1971
there have been some
spirited and scholarly...
- In
intuitionistic mathematics, a
choice sequence is a
constructive formulation of a sequence.
Since the
Intuitionistic school of mathematics, as formulated...
- and
differential geometry. The
Peano axioms are the most
widely used
axiomatization of first-order arithmetic. They are a set of
axioms strong enough to...
-
Peirce provided the
first axiomatization of natural-number arithmetic. In 1888,
Richard Dedekind proposed another axiomatization of natural-number arithmetic...
