Therefore, no formal system is a complete axiomatization of full number theory.
Oleh karena itu, tiada sistem formal yang merupakan aksiomatisasi sejati teori bilangan sepenuhnya.