Category:Naive Set Theory

From ProofWiki
Jump to: navigation, search

Naive Set Theory, in contrast with axiomatic set theory, is an approach to set theory which assumes the existence of a universal set, despite the fact that such an assumption leads to paradoxes.


A popular alternative (and inaccurate) definition describes this as a "non-formalized definition of set theory which describes sets and the relations between them using natural language". However, the discipline is founded upon quite as rigid a set of axioms, namely, those of propositional and predicate logic.

Pages in category "Naive Set Theory"

The following 2 pages are in this category, out of 2 total.

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense