At a minimum any theory of real numbers will imply a theorem of the form "There exists an x such that x * x = 2". The set of rational numbers doesn't contain an

At a minimum any theory of real numbers will imply a theorem of the form "There exists an x such that x * x = 2". The set of rational numbers doesn't contain any such x and hence the rational numbers will not satisfy any theory of real numbers.