One correction... Mitchell Spector wrote: > In fact, that's why I said "the consistency of ZFC", rather than Con(ZFC). Looking back, I see that I actually said it both ways in my original reply. Please take it in the meaningful model-theoretic sense, not some relatively arbitrary arithmetic formalization. Mitchell