Essas seriam provas insatisfatórias e, embora pudéssemos adotá-las como máquinas para pesquisas futuras (porque tínhamos certeza de sua verdade), o jogo seria chegar a provas interpretáveis por humanos. É improvável que a matemática pare para os humanos tão cedo. A verdade não é suficiente.