4
$\begingroup$

As in Godel's incompleteness theorem natural numbers encode proofs of theorems. Due to Godel's completeness theorem there is a natural number (in some nonstandard model) that proves $Con(PA)$.

What number is it? What can we say about it?

2 Answers 2