Bericht über Untersuchungen zur allgemeinen Axiomatik. (Q1828970)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bericht über Untersuchungen zur allgemeinen Axiomatik. |
scientific article; zbMATH DE number 2562381
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bericht über Untersuchungen zur allgemeinen Axiomatik. |
scientific article; zbMATH DE number 2562381 |
Statements
Bericht über Untersuchungen zur allgemeinen Axiomatik. (English)
0 references
1930
0 references
Vorläufige Zusammenstellung der Definitionen und Ergebnisse bei Untersuchungen, die an anderer Stelle ausführlich veröffentlicht werden sollen. Die wichtigsten Resultate sind: der Nachweis der Äquivalenz der ``Widerspruchfreiheit'' und ``Erfülltheit'' eines Axiomensystems; der Nachweis der Äquivalenz der drei unter dem Namen ``Vollständigkeit'' eines Axiomensystems auftretenden Begriffe ``monomorph'', ``nichtgabelbar'' und ``entscheidungs-definit''.
0 references
