Skip to main content
2 of 2
changed epsilon to epsilon_0 for clarity
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

Proofs that require the existence of large finite numbers

I know some proofs require the existence of large infinite ordinals, they give the fuel that drives induction principles. An example of this is the use of ε0 to give a consistency proof of peano arithmetic.

What I would like to find is proofs that require the existence of a large finite ordinal. thank you!

muad
  • 1.4k
  • 8
  • 27
  • 29