Aussagen in der Mathematik sind entweder wahr oder falsch. Diese Wahrheitswerte sind aber nicht nur rein informative Aussagen über die Gültigkeit von Formeln, sondern können selbst Bestandteil von Rechnungen sein....weiterlesen »