“Aber dann ist doch das kein eigentlicher Kalkül! Er verliert ja alle Strenge!” Nun nicht alle. Und er hat nur dann nicht die volle Strenge, wenn man ein bestimmtes Ideal der Strenge hat || verfolgt, einen bestimmten Stil
70
der Mathematik baut || bauen will.