Was entspricht in den allgemeinen Sätzen dem Satz 25² ≠ 620? Es wäre: ~(x,y) ∙ (x + y)² = x² + y², das heißt in Worten: „(x + y)² = x² + y²” ist keine Regel, oder genauer: Die beiden Seiten dieser Gleichung – verstanden, wie es das Zeichen „(x)” anzeigt – sind einander nicht gleich.