Der Skolemsche Beweis verbindet die Buchstabenregel 2) mit einer Regel über das Zeichen || Zähl-Zeichen „1” also mit dem Zahlenrechnen.