In particular, the theory of natural numbers has no recursive complete and consistent theory.
Ειδικότερα, η θεωρία των φυσικών αριθμών δεν έχει αναδρομική πλήρη και συνεπή θεωρία.