Aber wozu || zu was ist er ein Bekenntnis? Nur zu dieser Verwendung der Übergangsregeln von Zeichen zu Zeichen || Formel zu Formel? Oder (ist er) auch ein Bekenntnis zur Verwendung der primitive propositions in der & der Weise? || zu den primitive propositions? || Oder auch ein Bekenntnis zu den ‘Axiomen’ in irgend einem Sinn?