...which, of course, leads logically to:
Naive Set Theory (NST) , defined as the theory of predicate logic with a binary predicate , with the following as axioms:
- for all expressions P(x) with just x free
So, Naive Set Theory is a Metaprime Example?
A metaprime example is something that IS an example of itself in a self-referential way. Metaprime examples can be words themselves, or names, or names of things, or things themselves. Metaprime examples can be ideas or objects, abstract or literal, metalanguage or existential. They can be intentional or un. Sometimes they make you laugh, and usually they make you dizzy if you think about them too long!