Stimmt 2 × 2 = 4 mit der Logik dem log. Kalkül überein? Mann kann 2 × 2 = 4, aber auch 2 × 2 = 5, mit ihr ihm in Übereinstimmung bringen. (Und ˇich meine: d 2 × 2 = 5 kann unter Umständen eine brauchbares artithmetisches Sätzchen sein.