[FOM] Weak independent statements of arithmetic

Colin McLarty colin.mclarty at case.edu
Tue Feb 23 17:25:15 EST 2010

Ah!  Yes, it is obvious!  I'm sure other will have answered this also
but I am on digest and have not seen them.  Thanks.


2010/2/23 Aatu Koskensilta <Aatu.Koskensilta at uta.fi>:
> Quoting Colin McLarty <colin.mclarty at case.edu>:
>> Are such statements known?  Is there some easy way to find them?
> If you don't care about truth the obvious example is "ZFC is inconsistent".
> --
> Aatu Koskensilta (aatu.koskensilta at uta.fi)
> "Wovon man nicht sprechen kann, darüber muss man schweigen"
>  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus

More information about the FOM mailing list