Russellsche Antinomie: Versionsgeschichte

Aus Demo Wiki
Zur Navigation springenZur Suche springen

Auswahl des Versionsunterschieds: Markiere die Radiobuttons der zu vergleichenden Versionen und drücke die Eingabetaste oder die Schaltfläche am unteren Rand.
Legende: (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version, K = Kleine Änderung

5. Mai 2025

  • AktuellVorherige 22:2122:21, 5. Mai 2025 imported>Daniel5Ko 11.284 Bytes +11.284 →Geschichte und Lösungen: "Durch Umformung der Quantoren" verwendet (unnötigerweise; die Richtung, die benötigt wird, geht zwar durch, es ist aber anscheinend von einer Äquivalenz die Rede, deren andere Richtung nicht durchgeht) klassische Logik, wodurch der Beweis eben nicht so recht in intuitionistischer Logik gültig wäre. Daher Umbau. Und ja, es handelt sich nun um einen "direkten Beweis" nach allen vernünftigen Maßstäben.
Abgerufen von „https://demowiki.knowlus.com/index.php?title=Russellsche_Antinomie“