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.
Related
gollark: No routing or anything though, as it turns out that mesh networking is extremely hard.
gollark: I made one back in 2019, even: <https://pastebin.com/L0ZKLBRG>
gollark: Also, unless I'm missing something, could you *not* just skip the whole chat range thing using ender modem messaging systems?
gollark: Someone noticed your cc.cc forums post.
gollark: Ħı.
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.