Finite functions and the necessary use of large cardinals

Harvey M. Friedman

We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorem…