Philosophie Lexikon der Argumente

Screenshot Tabelle Begriffe

 
Axiom: Grundsatz oder Regel für die Verknüpfung von Elementen einer Theorie, der nicht innerhalb der Theorie bewiesen wird. Es wird angenommen, dass Axiome wahr und evident sind. Das Hinzufügen oder Eliminieren von Axiomen verwandelt ein System in ein anderes System. Entsprechend sind mehr oder weniger Aussagen in dem neuen System konstruierbar oder ableitbar. Siehe auch Systeme.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor/Titel Begriff Zusammenfassung Metadaten
Berka I 367
Axiome/Principia Mathematica/Gödel: als verschieden werden nur Axiome gezählt, die auseinander nicht durch Typenerhöhung hervorgehen.
I 367
Definition/Gödel: alle Definitionen sind Abkürzungen und daher prinzipiell überflüssig.(1)


1. K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Mh. Math. Phys. 38 (1931) 175-198


_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders.
Der Hinweis [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] ist eine Hinzufügung des Lexikons der Argumente.

Göd II
Kurt Gödel
Collected Works: Volume II: Publications 1938-1974 Oxford 1990

Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983

Send Link
> Gegenargumente gegen Gödel
> Gegenargumente zu Axiome

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z