Und wenn man mit der Arithmetik alle Wahrheiten bewiesen hat, axiomatisiert man heiter und macht mit der nächsten weiter.