Re: what follows from denying an axiom

On Jan 15, 6:18 am, stevendaryl3...@xxxxxxxxx (Daryl McCullough)
wrote:
What I thought you were saying was that if the completeness theorem
were false, then ZFC would be inconsistent,

I DID say that!

since the completeness
theorem is a theorem of ZFC.

I DID say that!
THAT is TRUE!!

In what sense COULD something "be false" IF it is
TRUE IN ALL MODELS of ZFC?!? Being true in ALL models,
it would therefore necessarily have to be true in the standard model
as well!
.

Quantcast