An Introduction to Gödel's Theorems

Smith, P. (2013). An Introduction to Gödel's Theorems. Cambridge University Press.

Type

Book chapter

Intellectual base

Textbook

Year

2013

Link

no authoritative link yet

Cited by

2 citations across 2 artifacts.

Domain-specific

• Ω-complete theory
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Hilbert system
  • A Hilbert system is a formal deductive calculus characterized by many logical axiom schemata and very few primitive rules of inference.

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:0c5b524a370d · see in the full table