At a minimum any theory of real numbers will imply a theorem of the form "There ...

Kranar on Nov 1, 2020 | parent | context | favorite | on: The Complete Idiot’s Guide to the Independence of ...

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.

zzless on Nov 2, 2020 [–]

You are correct, I should have omitted the * from the language.