Kann man nicht sagen, daß alle interessanten Sätze über die Kardinalzahlen (& daher alle Sätze über die Zahlen) im Strich-
system überzeugend bewiesen werden können & daher jedes andere System nur denas V Interesse der Kürze hat?!