Re: The set of necessary FISONs

On 11.02.2025 01:05, Richard Damon wrote:

On 2/10/25 10:02 AM, WM wrote:

On 10.02.2025 13:37, Richard Damon wrote:

On 2/10/25 4:47 AM, WM wrote:

>

"Theorem B: Every embodiment of different numbers of the first and the second number class has a smallest number, a minimum."

>

So, your "Set of Required FISONs" isn't a set of the first or second class, it is an empty set.

>
So it is.

 Which just shows that no particular FISON is needed.

No, the inductive set is the set of all FISOws.

 Doesn't mean that you can't use a set of FISONs to make the set of Natural Numbers.

Name the first element. Remember that, according to Cantor's theorem B every set of FISONs has a fixed first element.
Regards, WM