“a + (b + c) = (a + b) + c” … A(c) kann als Grundregel eines Systems aufgefaßt werden, als solche kann man es nur vorschreiben, aber nicht behaupten, oder verneinen (also kein Gesetz des ausgeschlossenen Dritten). Nun kann ich den Satz aber scheinbar auch als Resultat eines Beweises ansehen. Hat dieser Beweis eine Frage beantwortet und welche? Hat er eine Behauptung als wahr erwiesen und also ihr Gegenteil als falsch?
     Da scheint es nun aber, daß ich den Satz, in dem Sinne, in dem er Grundregel eines Systems ist, gar nicht beweisen kann. Ich beweise vielmehr etwas über ihn.