Definition by induction in Quine's New foundations for mathematical logic. (Q2590259)

From MaRDI portal





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
    0 references

    Identifiers