Very basic set theory
Abstract
Ernst Zermelo's axiomatization of set theory (1908) did not exclude `a set that is a member of itself'. We call a set that is a member of itself `an individual'. In this article we prove the elimination of Russell's paradox is equivalent to "For every set S, an individual is a member of S or a set (but not an individual) is not a member of S". This shows there is place is set theory for individuals. We give individuals the place they deserve according to formal logic.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2023
- DOI:
- arXiv:
- arXiv:2303.13473
- Bibcode:
- 2023arXiv230313473H
- Keywords:
-
- Mathematics - History and Overview;
- Mathematics - Logic;
- math.lo
- E-Print:
- 6 pages