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 p.p.). Wir könnten jeden solchen Satz schreiben:
70
“die Zahl
n
N
ist ˇaus
r, s, t, u,
M,O,P,Q
beweisbar” wo [b|B]eweisbarkeit eben eine Eigenschaft von Zahlen ist.