Theory of true arithmetic
= Theory of true arithmetic
{c}
{wiki=True_arithmetic}
The theory of true arithmetic consists of all first-order arithmetic sentences true in the standard natural-number structure. It is complete but not computably enumerable.