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.