Elementary definition
In mathematical logic, an elementary definition is a definition that can be made using only finitary first-order logic, and in particular without reference to set theory or using extensions such as plural quantification. Elementary definitions are of particular interest because they admit a complete proof apparatus while still being expressive enough to support most everyday mathematics (via the addition of elementarily-expressible axioms such as ZFC). Saying that a definition is elementary is a weaker condition than saying it is algebraic.
Wikipage disambiguates
Wikipage redirect
primaryTopic
Elementary definition
In mathematical logic, an elementary definition is a definition that can be made using only finitary first-order logic, and in particular without reference to set theory or using extensions such as plural quantification. Elementary definitions are of particular interest because they admit a complete proof apparatus while still being expressive enough to support most everyday mathematics (via the addition of elementarily-expressible axioms such as ZFC). Saying that a definition is elementary is a weaker condition than saying it is algebraic.
has abstract
In mathematical logic, an elem ...... n than saying it is algebraic.
@en
Wikipage page ID
23,914,313
Wikipage revision ID
327,373,287
subject
hypernym
comment
In mathematical logic, an elem ...... n than saying it is algebraic.
@en
label
Elementary definition
@en