Dimostrare la verità.

Peccato però che questa non sia una dimostrazione, perché per completare la tabellina non basterebbero diecimila anni. Tanto è vero che Penrose cita questo esempio relativamente al cosiddetto problema dell'arreto di Turing. Non ci sono procedimenti algoritmici tali da dimostrare in un numero finito di passaggi questa verità elementare dell'aritmetica a partire dagli assiomi dell'aritmetica stessa, pertanto non esiste una dimostrazione veramente dimostrativa di questa verità.