Wenn wir die Zeichen Russells als Ziffern auffassen, so wird jeder seiner Sätze ein Zahlzeichen & jeder seiner Beweise eine bestimmte Konstruktionsart einer Zahl (aus den Zahlen der primitive propositions). Wir könnten jeden solchen Satz schreiben:
70
“die Zahl N || n ist aus M,O,P,Q || r, s, t, u, beweisbar” wo Beweisbarkeit eben eine Eigenschaft von Zahlen ist.