Re: Torkel Franzen on truth

In article <4768044b$0$485$b45e6eb0@xxxxxxxxxxxxxxxxxxxxxxxxx>, I wrote:
(*) In the standard model of the integers, there are no integers m and n
such that m^2 = 2 n^2.

I meant "no nonzero integers m and n," of course.
--
Tim Chow tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
.

Relevant Pages