Re: Undecidiable number theory

In article <[EMAIL PROTECTED]>,
David Bernier <[EMAIL PROTECTED]> wrote:
>Of course, we must assume that ZFC is consistent...
[...]
>So, assuming that ZFC theorems are true, we know whether the
>statement Q is true or not.

Assuming that [arithmetic] ZFC theorems are true (i.e., that ZFC has an
omega-model) is a stronger assumption than the mere assumption that ZFC
is consistent.
-- 
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