Sur la théorie de la démonstration. (Q1437001)
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: Sur la théorie de la démonstration. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sur la théorie de la démonstration. |
scientific article |
Statements
Sur la théorie de la démonstration. (English)
0 references
1928
0 references
Verf. deutet, ohne Beweise zu geben, an, wie er sich das logische System der Principia Mathematica durch ein anderes ersetzbar denkt derart, daß\ man des Reduzibilitätssxioms nicht bedarf. Das neue System sei widerspruchsfrei, und zwar auch noch dann, wenn man das Auswahlaxiom und das Axiom des Unendlichen (ev. sogar in erheblich weitergehender Form) hinzufügt.
0 references
