Elementary axiom system
From Encyclopedia of Mathematics
An axiom system written in the language of restricted predicate calculus (that is, in a first-order language). Examples of elementary axiom systems are those of formal arithmetic (cf. Arithmetic, formal), the Zermelo–Fraenkel system of set theory (see Axiomatic set theory), and the system of the theory of types (cf. Types, theory of).
How to Cite This Entry:
Elementary axiom system. V.N. Grishin (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Elementary_axiom_system&oldid=19022
Elementary axiom system. V.N. Grishin (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Elementary_axiom_system&oldid=19022
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098