Stimmt 2 × 2 = 4 mit der Logik überein? Man kann 2 × 2 = 4, aber auch 2 × 2 = 5, mit ihr || dem logischen Kalkül überein? Man kann 2 × 2 = 4, aber auch 2 × 2 = 5, mit ihm in Übereinstimmung bringen. (Und ich meine: 2 × 2 = 5 kann unter Umständen ein brauchbares arithmetisches Sätzchen sein.)