Aber wie ist es – : Wenn ich zuerst ‘p ⌵ q’ & ‘~p’ einführe &
einige Tautologien mit ihnen konstruiere – & dann zeige ich (etwa,) die Reihe ~p, ~ ~p, ~ ~ ~p, etc vor & führe eine Notation ein wie p1, p ~1p, ~2p ..... ~10p .... etc.
‒ ‒ ich
. Ich
möchte sagen: wir hatten vielleicht an die Möglichkeit so einer Reihenordnung ˇursprünglich gar nicht gedacht & wir haben ˇnun einen neuen Begriff in unsre Rechnung eingeführt. Hier ist ein ‘neuer Aspekt’.