Re: Countable models of ZFC



george wrote:


The only thing for which you might need a semantics therefore becomes
"final confirmation of" UNdecidability/independence results.
The obviously better way to get those is just to prove them in
a STRONGER theory.

Ouch! I mean, good point. I mean, interesting thought.

--
hz
.