Re: The set of necessary FISONs

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???
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₀.
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