Re: The set of necessary FISONs

On 25.01.2025 21:23, Jim Burns wrote:

On 1/25/2025 2:35 PM, Jim Burns wrote:

On 1/25/2025 6:02 AM, WM wrote:

 

Swaps cannot eliminate Bob.
He remains but i the darkness.

 A set larger than
any set with
⎛ fuller.by.one sets larger and
⎝ emptier.by.one sets smaller
is not
any set with
⎛ fuller.by.one sets larger and
⎝ emptier.by.one sets smaller.
 

No swaps are into the darkness.

 

No swaps can complete actual infinity of ℕ.
The length of the first column is bounded by the length of all rows
{1}
{2, 1}
{3, 2, 1}
...
all of which are finite. No actual infinity is represented by the first column.
Regards, WM