Sujet : Re: how
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.mathDate : 01. Jun 2024, 01:05:49
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3dokt$2e9qk$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
Am 31.05.2024 um 19:15 schrieb WM:
Yes, if all n had successors, <bla>
Mückenheim, Du hirnloser Affe: In der _klassischen Mathematik_ werden die Peano-Axiome akzeptiert. Demgemäß hat in der Tat jedes n e IN eine Nachfolger: n'.
"Die Peano-Axiome (auch Dedekind-Peano-Axiome oder Peano-Postulate) sind fünf Axiome, welche die natürlichen Zahlen und ihre Eigenschaften charakterisieren. Sie wurden 1889 vom italienischen Mathematiker Giuseppe Peano formuliert und dienen bis heute als Standardformalisierung der Arithmetik für metamathematische Untersuchungen." (Wikipedia)
Hint: "Mit Ausnahme von Vertretern des Ultrafinitismus wird die Peano-Arithmetik in der Mathematik allgemein als korrekte und konsistente Charakterisierung der natürlichen Zahlen anerkannt." (Wikipedia)