[FOM] Weak independent statements of arithmetic

[Colin McLarty]

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.

Colin

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
>