/  
     Man kann nicht nach dem Ersten fragen, was jede Frage überhaupt erst möglich macht.
     Nicht nach dem, was das System erst gründet.
     Dass so etwas vorhanden sein muss, ist klar.
     Und es ist auch einleuchtend, dass sich dieses Erste in der Algebra als Rechnungsregel darstellen muss mit deren Hilfe man dann die andern Sätze prüft.