Re: The set of necessary FISONs

On 2/5/25 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.
But that is irrelevant for our topic. 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.
 Regards, WM

Indiction is only ONE of the axioms, and one that isn't always included, as it makes the logic 2nd order.
Your induction does not "remove" all FISONs, as induction neither adds nor removes elements to the sets, but compares/tests them.
Induction lets your prove the creator function (which isn't induction itself) creates a set that is equal to the Natural Numbers.
You are just proving you don't understand what you are talking about.
But then, since you have shown that you think "axiomatic logic" is just "Mathology" that shouldn't be trusted, you are just showing that you don't actually belive in the logic you want to talk about.