Definition by induction in Quine's New foundations for mathematical logic. (Q2590259)
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: Definition by induction in Quine's New foundations for mathematical logic. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definition by induction in Quine's New foundations for mathematical logic. |
scientific article |
Statements
Definition by induction in Quine's New foundations for mathematical logic. (English)
0 references
1939
0 references
In des Verf. Logiksystem \(Q\) (vgl. vorstehendes Referat), welches einem typenfreien System von \textit{Quine} (Amer. math. Monthly 44 (1937), 70-80; F. d. M. \(63_{\text{I}}\), 22) sehr verwandt ist, läßt sich das Unendlichkeitsaxiom unter Zuhilfenahme ``ungeschichteter'' Sätze beweisen. Verf. zeigt hier, daß induktive Definitionen unabhängig von Schichtungsbedingungen möglich sind.
0 references
