Re: The set of necessary FISONs

On 2/5/2025 12:32 PM, WM wrote:

On 05.02.2025 18:19, Jim Burns wrote:

On 2/5/2025 4:14 AM, WM wrote:

Either way, the axioms do not create,
but only describe.

>
The axioms of non-standard analysis or string theory
create.

The axioms of non-standard analysis or string theory
do not create, but only describe.
Description and not.first.false claims are sufficient
for finite beings to learn about infinitely.many.

But that is irrelevant for our topic.

No, utterly relevant.
It is impossible to make progress in any direction
if what.you.think.we.do and what.you.think.we.mean
are different from what.we.do and what.we.mean.

The axioms of Peano, Dedekind, Cantor, Zermelo, Schmidt,
v. Neumann, Lorenzen concern all natural numbers
with no exception by induction.
By the same induction
I can remove all FISONs from U(F(n))
without changing the claimed union.

It might just matter what a natural number, induction,
a FISON, and a union are.