“[W]e can transfer the study of any formal system—in fact the study of [all] formal systems—into number theory.”