Re: The set of necessary FISONs

WM <wolfgang.mueckenheim@tha.de> wrote:

On 10.03.2025 20:37, Jim Burns wrote:

⎝ Therefore, this a property with no exceptions.
is reliable.

Do you really expect that your gobbledegook is of interest???

I find it of interest, yes.  It refutes _your_ gobbledegook in a way that
you cannot answer.

Either explain the following or spare your efforts. No one will read that.

Z₀ is defined by induction: { } ∈ Z₀, and if {{{...{{{ }}}...}}} with n
curly brackets ∈ Z₀ then {{{...{{{ }}}...}}} with n+1 curly brackets ∈ Z₀.

You surely mean n+2, there.  Or, better, you should refer to _pairs_ of
curly brackets.

Likewise the removable UF is defined by induction.
ℕ \ F(1), and if ℕ \ F(1) \ F(2) \ F(3) \ ... \ F(n) = ℵo
then ℕ \ F(1) \ F(2) \ F(3) \ ... \ F(n+1) = ℵo.

What is the difference in your opinion?

Regards, WM

--
Alan Mackenzie (Nuremberg, Germany).