doronshadmi
Penultimate Amazing
- Joined
- Mar 15, 2008
- Messages
- 13,320
You miss the simple fact, which is:Whatever.
We are all still in awe, though, because you have perfected a method to construct a power set given the power set as a starting point. Well done!
Definition 1: A systematic construction method of an infinite set does not omit any member of the considered set.
Definition 1 is equivalent to the existence of the considered infinite set (it is a tautology).
Definition 2: By definition 1, for any systematically constructed infinite set, there is a bijection between its members and the members of any arbitrary infinite proper subset of it.