Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Tarski, Alfred
 
Bücher bei Amazon
Unendlichkeitsaxiom Berka I 474
Existenz/Existenzannahme/Tarski: Problem: wenn wir nun in den Axiomen die existentiellen Voraussetzungen eliminieren, so verschwindet die eineindeutige Zuordnung. - Jedem Ausdruck wird auch weiterhin eine natürliche Zahl entsprechen, aber nicht umgekehrt auch jeder natürlichen Zahl ein Ausdruck. - > Unendlichkeitsaxiom.
Berka I 519
Unendlichkeitsaxiom/Tarski: mit ihm verzichten wir auf das Postulat, nach dem nur die in jedem Individuenbereich richtigen Aussagen beweisbare Sätze der Logik sein sollen.

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Tarski



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