Comment by Straw

8 months ago

It likely comes from the smallest machine that someone has been able to construct that can diagonalize over all proofs in ZFC, or something similar.

0 comments