Assume that we have a consistent and complete axiomatization of all true first-order logic statements about natural numbers.
Препоставимо да имамо доследну и комплетну аксиматизација свих тачних наредби логика првог реда о природним бројевима.