Re: A question about FOL theories and models

Aatu Koskensilta wrote:
Nam Nguyen wrote:
Consider, for example, the possible situation in which ~GC is
arithmetically (interpreted to be) true, while GC is *also provable*
in Shoenfield's 'N' formal system.

That situation is "possible" only in the sense it's "possible" we're
mistaken about pretty much anything, being in reality delusional
disembodied brains in vats.

I don't worry so much about being a brain in vat as I do about the vats
in my brains.

MoeBlee

.