[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