25 + 46 ≠ 78 ist eine richtige Ungleichung, sie wird bestätigt, wenn man die Summe 25 + 46 = 71 bildet. Man könnte
sie
die Ungleichung
durch eine induktive Disjunktion darstellen 25 + 46 = 1 . ⌵ . 25 + 46 = 2 . ⌵ . … . ⌵ . 25 + 46 = 77 . ⌵ . 25 + 46 = 79 . ⌵ . …