Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Thiel, Christian
 
Bücher bei Amazon
Löwenheim, Satz v. I 321
Bsp Paradoxie von Löwenheim-Skolem: Dabei wird aus der für alle in der klassischen Quantorenlogik (mit Identität) formulierten Axiomensystemen beweisbaren Tatsache, dass sie, wenn überhaupt erfüllbar, dann auch bereits in einem abzählbaren Individuenbereich erfüllbar sind, ganz zurecht gefolgert,
I 322
dass also auch ein solches Axiomensystem für die reellen Zahlen schon abzählbar erfüllbar sein müsse, entgegen der ihm zugrunde liegenden Absicht, gerade die nicht abzählbare Gesamtheit der reellen Zahlen zu charakterisieren.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 29.03.2017