Re: because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how

Am 03.05.2024 15:57:52 WM drivels bullshit:

Le 03/05/2024 à 11:07, Jim Burns a écrit :
 

WM call various things
"actually infinite" and "potentially.infinite".
What does he mean by those terms?
NOT "What does Cantor mean? Euclid mean?"

 
By actual infinity I mean what Cantor started but could not stand.
By actual infinity I mean what ZFC claims but cannot maintain.
 
It is the idea that infinite sets are fixed such that no element can be
added or removed.
It is the idea that the natural numbers reach immediately from 0 until ω
such that no number can be inserted between ℕ and ω. If every natural
nunmber is increased by 1, then the set is shifted from {1, 2, 3, ...} to
{2, 3, 4, ..., ω}.

No, nothing must be shifted - it is enough to give each element another
name like above, or e.g. "a", "b", ..., "aa", "bb", ... or whatever.