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: They just said IPS.

gollark: I'm not sure if this will have that.

gollark: I would be annoyed by that, since it's supposed to just tell me the time when I look at it.

gollark: Ah, they just said "multiple days".

gollark: Which is kind of a must-have for me.

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.