Aber welche Form hat der mathem. Satz: „Die Gleichung x² ‒ 3x + 2 = 0 hat die Lösungen ‒ 2 und 0 und sonst keine”? Aber ist das nicht eben der Satz „(x) ∙ x² ‒ 3x + 2 ≠ 0[x ≠ {
‒ 2
‒ 1
]”?