Robinson arithmetic is known to be essentially undecidable, and thus every consistent theory that includes or interprets Robinson arithmetic is also (essentially) undecidable.
Робинсонова аритметика је суштински неодлучива, и стога је свака конзистентна теорија која укључује или интерпретира Робинсонову аритметику такође (суштински) неодлучива.