talanum1
Well-Known Member
- Joined
- Jul 29, 2025
- Messages
- 269
- Reaction score
- 62
We have:
(0 = 0, 0 -> True) -> (0 = 0 -> True) -> 0 = True
but we also define:
0 = empty set
which is false. We can't define 0 as the negated empty set because this implies 0 = 1 = 2 ..., so were stuck with the paradox.
(0 = 0, 0 -> True) -> (0 = 0 -> True) -> 0 = True
but we also define:
0 = empty set
which is false. We can't define 0 as the negated empty set because this implies 0 = 1 = 2 ..., so were stuck with the paradox.
