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