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