Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Naïve Set Theory (Definition)

Set theory based on the intuitive concept of a set as a collection of objects, which was found to lead to paradoxes.
📜

The statement of the theorem

Sets are defined by a property P(x)P(x), i.e., S={x∣P(x)}S = \{x \mid P(x)\}. This allows for Russell's Paradox.