Liste des Groupes | Revenir à s math |
On 22.02.2025 13:13, FromTheRafters wrote:Which just proves that no specific FISON is individually REQURED to make the set of Natural Numbers.WM formulated on Saturday :Only stupids could do so.On 22.02.2025 12:14, FromTheRafters wrote:>WM explained on 2/22/2025 :>On 22.02.2025 02:05, Richard Damon wrote:>>Note, as I understand it, that initial Zermelo Set Theory didn't even HAVE "induction",>
You don't understand it.
He understands it better than you do apparently. Zermelo's theory didn't have transfinite induction.
Who claimed that?
Certainly not you.
First element and the successor function is induction.Nonsense. The inductive step is proved in my example from |ℕ \ {1, 2, 3, ..., n}| = ℵo, i.e., by several axioms, and in Zermelo's example by a single axiom.
>
First element and successor function is 'inductive hypothesis' not induction.
Regards, WM
Les messages affichés proviennent d'usenet.