Bearbeiten von: [Änderungshistorie]
  Zeilenumbrüche automatisch mache ich selbst mit HTML    

Ich möchte eine Mail an , nachdem mein Vorschlag bearbeitet ist.
  Nachricht zur Änderung:

Input assistance tools (JavaScript): [Link extern intern] [MathML?] [$$?]
[fed-area] [LaTeX-inline] [LaTeX-display] [Tikz] [hide-area][show-area] [Source code [num.]][?]
[Link zurück zum Kommentar]

Vorschau:
Re: Über das Auswahlaxiom

Der Artikel ist zwar schon ein gutes Jahrzehnt alt, aber troztdem noch eine Korrektur und eine interessante Anmerkung:

Der Hinweis auf den ersten gödelschen Unvollständigkeitssatz ist wohl etwas arg lax. Lassen wir mal die hinreichende Stärke des Axiomensystems weg (Repräsentierbarkeit) so gibt es da immernoch die Voraussetzungen Konsistenz und Rekursivität. In ersterem kann man alles beweisen, letztere Theorie ist vollständig, jedoch hilfreich als Axiomatisierungen sind sie beide nicht ;)

Dann noch die Anmerkung, weil ja geschrieben wurde, dass Konstruktivisiten das Auswahlaxiom ablehnen - unter anderem wegen dem Wohlordnungssatz: Der natürliche Feind des Konstruktivisten ist das "law of the excluded middle", das besagt, dass eine Aussage oder ihre Negation wahr ist, etwas, was wir in klassischer Logik als Selbstverständlichkeit bis Axiom ansehen würden, ist Konsequenz des Auswahlaxioms (und der Beweis ist toll, da man ihn selbst auf einem Bierdeckel aufschreiben kann).
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]