Der mathematische Satz weiß selbst daß er wahr oder daß er falsch ist.