Consistency: a proof that no contradiction can be obtained in the formalism of mathematics.
Since the latter formalism leads to shortest notations, it shall be introduced and used here.
