Re: The set of necessary FISONs

On 26.02.2025 23:17, Jim Burns wrote:

On 2/26/2025 6:55 AM, WM wrote:

On 25.02.2025 19:39, Jim Burns wrote:

 

>

>
Zermelo for instance made such claims:
Um aber die Existenz "unendlicher" Mengen zu sichern,
bedürfen wir noch des folgenden, seinem wesentlichen Inhalte
von Herrn Dedekind herrührenden Axioms.
... Der Bereich enthält mindestens eine Menge Z, welche die Nullmenge als Element enthält und
so beschaffen ist, daß jedem ihrer Elemente a
ein weiteres Element der Form {a} entspricht
... Die Menge Z_0 enthält die Elemente 0, {0}, {{0}}, usw.
und möge als "Zahlenreihe" bezeichnet werden,
... Sie bildet das einfachste Beispiel einer
"abzählbar unendlichen" Menge.
[E. Zermelo: Untersuchungen über die Grundlagen der Mengenlehre I,
Mathematische Annalen (1908), S. 266]

 ⎛ But in order to ensure the existence of "infinite" sets,
⎜ we still need the following axiom,
⎜ the essential content of which comes from Mr. Dedekind.
⎜ ... The domain contains at least one set Z,
⎜ which contains the zero set as an element and
⎜ is such that each of its elements a
⎜ corresponds to another element of the form {a}
⎜ ... The set Z_0 contains the elements 0, {0}, {{0}}, etc.
⎜ and may be referred to as a "number series", ...
⎜ It forms the simplest example of a "countably infinite" set.
⎜ [E. Zermelo: Investigations on the Foundations of Set Theory I,
⎜ Mathematische Annalen (1908), p. 266]
⎝
-- google

Good. Much better than 10 years ago.

 The domain contains at least one set Z.
0∈Z ∧ ∀a:a∈Z⇒{a}∈Z
 It is indefinite which set Z refers to,
apart from that claim definitely being true of Z.

The set containing 1 and with every x also x+1 may be ℚ, ℝ, or ℂ. Important is that it contains ℕ.

 That set Z has a subset Z₀ which might not be Z
(what is Z, after all?)
which may be referred to as a number series.
 The number series Z₀ holds no extra numbers.
Suppose set W and Y are candidates for Z
0∈W ∧ ∀a:a∈W⇒{a}∈W
0∈Y ∧ ∀a:a∈Y⇒{a}∈Y
and
some elements are in W but not in Y.
Those elements in W\Y are extra, and not.in Z₀

The specific form of Z is irrelevant.
Z₀ is the Zahlenreihe, the set {0, 1, 2, ...}

 Perhaps, outside the material you quote,
Zermelo has said that
Z₀ holds no extra numbers
or some version of that.
I haven't investigated what Zermelo has said.
Whatever he's said, the claims I've made here are true.

Yes.

Because Z₀ holds no extra numbers,
Z₀ is definite, even though superset Z is indefinite.
That is, in my opinion, what makes all this work.

Z₀ is ensured by induction. That is the point.

 This next bit you (WM) might like, for a change.
It looks like the pseudo.induction.rule which
you have been trying to use.

It is induction.

Z₀ being the unique intersection of inductive subsets
makes
Z₀ its.own.only.inductive.subset,
which makes
Z₀ the only correct set to use in a proof by induction.

It is proved to exist by induction, i.e., by the rule that 0 exists and with a also a'.
By the same induction I prove UF = ℕ  ==> Ø = ℕ.
Regards, WM