Man könnte gewiss statt der Logik
der Tautologien eine Logik der Gleichungen setzen. D.h. man würde von einem wah Satz zum folgenden durch Substitutionen gelangen. Und die Regeln nach denen diese Substitutionen vollzogen werden dürfen wären in Gleichungen niedergelegt.