Re: The set of necessary FISONs

On 26.02.2025 16:58, joes wrote:

Induction only allows you to remove a natural number of FISONs, not
infinitely many.

Every natural number can be removed by hand.
Induction has been devised for infinitely many because for finitely many you need no induction.
All natural numbers from {1, 2, 3, 4, 5} can be removed (and again inserted) by hand. All natural numbers from {1, 2, 3, ...} can be removed (and again inserted) by induction.
Regards, WM