[FOM] Weak independent statements of arithmetic
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