Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Finite character of formal proofs

Every formal proof is a finite string and therefore uses only finitely many of the available assumptions.

Ancestors (7)

  1. First-order theory
  2. First-order logic
  3. Mathematical logic
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home

Incoming links (3)