The Full Wiki

More info on Elementary definition

Elementary definition: Wikis

Advertisements

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

Encyclopedia

From Wikipedia, the free encyclopedia

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.

Related

References

  • Mac Lane and Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, page 4.

Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message