Ohne diese Beweisbarkeit wäre 2 + 2 = 4 eine willkürliche Zeichenregel und von richtig oder falsch bei ihr nicht die Rede. Die Demonstrabilität macht die Gleichung zu etwas, was sich mit einem Satz vergleichen läßt.