„a + (b + c) = (a + b) + c” kann als Grundregel eines Systems aufgefaßt werden, als solche kann man es nur vorschreiben aber nicht behaupten, oder verneinen [also auch kein Gesetz des ausgeschlossenen Dritten]. Nun kann ich den Satz aber scheinbar auch als Resultat eines Beweises ansehen. Hat dieser Beweis eine Frage beantwortet & welche? Hat er eine Behauptung als wahr erwiesen & 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.