True arithmetic
= True arithmetic
{wiki}
= Theory of true arithmetic
{synonym}
= Arithmetic truth
{synonym}
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.