[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