From Frege to Gödel

Ernst Zermelo, '. i. t. F. o. S. T. I. (., & Heijenoort, E. t. i. J. v. (1908). From Frege to Gödel. Harvard University Press.

Type

Book chapter

Intellectual base

Review or monograph

Year

1908

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Axiom of infinity
  • … two, and every finite ordinal inside an inductive set guaranteed by Infinity. to The structure of hereditarily finite sets provides a model of a suitable ZF fragment with the negation of Infinity, illustrating why finite constructions alone do not collect all finite ordinals into one set. demonstrates that continuity.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:8d1c5f2ce08b · see in the full table