La teoría resultante contién munchos de los enunciaos verdaderos sobre los númberos naturales y dellos falsos, empezando por ¬G. Los oxetos descritos por una teoría asina formen un modelo non estándar de laritmética.[3]