English Wikipedia - The Free Encycl...
Download this dictionary
Elementary theory
In
mathematical logic
, an
elementary theory
is one that involves axioms using only
finitary
first-order logic
, without reference to
set theory
or using any axioms which have
consistency strength
equal to set theory.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License