No, An consistent theorem system can know no bounds. There's halfway. If Peano a...

joe_the_user on Sept 30, 2011 | parent | context | favorite | on: Peano arithmetic is probably inconsistent

No,

An consistent theorem system can know no bounds. There's halfway. If Peano arithmetic is inconsistent every statement in it is provably true and false. QED.