Angenommen ich habe nach Russell einen Satz der Form
      (xyz …) (∃uvw …) ⊃ (∃abc …) bewiesen – & nun ‘mache ich ihn übersichtlich’, indem
62
ich über die Variablen Zeichen x1, x2, x3 … schreibe – soll ich nun sagen, ich habe nach Russell einen arithmetischen Satz im Dezimalsystem bewiesen?