“1 : 3 [|i]st periodisch”
“√2 ist nicht periodisch”.
   Inwiefern ist der Beweis des ersten Satzes das Gegenteil des Beweises des zweiten? Was das Gegenteil eines von uns bewiesenen mathematischen Satzes ist, muss sich aus dem Beweis ergeben.