[FOM] Weak independent statements of arithmetic

Aatu Koskensilta Aatu.Koskensilta at uta.fi
Tue Feb 23 14:50:07 EST 2010

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