Soundness of an arithmetic theory
= Soundness of an arithmetic theory
= Sound arithmetic theory
{synonym}
= Arithmetic soundness
{synonym}
An <arithmetic> theory is sound if all its theorems hold in the standard <natural numbers>. <Arithmetic soundness> implies consistency and rules out a proof of the negation of a true sentence. It is a semantic property, distinct from effective axiomatizability.