It followed that this assertion could not be proved true, for that would lead to a contradiction.
⇑ Translate the sentence above by Google ⇑
Related: assertion