Verbindung hergestellt.connected.<br>num: 28224<br>
<pre>
-------------------------
GRUPPE: de.sci.mathematik
FROM  : Moebius <invalid@example.invalid>
DATE  : Fri, 17 Jan 2025 23:50:26 +0100
TEMA  : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
---------------------------------------------
Am 17.01.2025 um 23:27 schrieb WM:
> On 17.01.2025 20:20, joes wrote:
>> Am Wed, 15 Jan 2025 16:24:08 +0100 schrieb WM:
>>> On 15.01.2025 12:03, Moebius wrote:
>>>> Am 15.01.2025 um 11:54 schrieb WM:
>>>>
>>>>> Es wird vorausgesetzt, dass die Vereinigung aller endlichen
>>>>> Anfangsabschnitte größer als alle endlichen Anfangsabschnitte ist,
>>>>> nämlich ℕ.
>>>> Das ist keine Voraussetzung von irgendwas, sonder eine (im Kontext der
>>>> Mengenlehre) beweisbare Behauptung, also ein Satz/Theorem.
>>> Daher ist die Mengenlehre falsch.
>> Falsch in welchem System? Rein nach Gefühl? Die Mengenlehre ist in sich
>> konsistent.
> 
> Es wird [nicht] vorausgesetzt, dass die Vereinigung aller endlichen 
> Anfangsabschnitte [also IN] größer als [jeder] endliche Anfangsabschnitte ist

denn das ist ein beweisbarer Satz, also ein Theorem der Mengenlehre.

Hinweis: Sei A ein endlicher Anfangsabschnitt. Dann besitzt A ein 
größtes Element max(A). A ist Teilmenge von IN und max(A)+1 ist Element 
in IN, aber nicht Element in A. Also ist A ECHTE TEILEMENGE von IN. IN 
ist also (Teilmengen-)größer als A.

> <saudummen Scheißdreck gelöscht>

head: