This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic (the theory of natural numbers) is not decidable.
Το αποτέλεσμα αυτό φαίνεται αρκετά περίεργο,καθώς το 1936 ο Αλόνζο Τσερτς απέδειξε ότι τα Αξιώματα Πεάνο (η θεωρία των φυσικών αριθμών) δεν είναι αποφάνσιμα.