If, in fact, arithmetic were inconsistent, then every assertion would be provable.
⇑ Translate the sentence above by Google ⇑
Related: assertion
