Ohne diese Erkenntnis wäre der dem
Schema 1 + 1 = 3 entsprechende Satz unwiderlegbar.