Elementary sentence

In mathematical logic, an elementary sentence is one that is stated using only finitary first-order logic, without reference to set theory or using any axioms which have consistency strength equal to set theory.

Saying that a sentence is elementary is a weaker condition than saying it is algebraic.

gollark: Yes. However, it *will* find a way to send achievement messages.
gollark: But mostly.
gollark: Well, not *entirely*.
gollark: It's not server side, the bot works as a client.
gollark: Oh, that.

References

  • Mac Lane and Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, page 4.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.