Ein axiomatisches System stellt eine widerhallende Beziehung zwischen dem her, was ein Mathematiker annimmt (den Axiomen) und dem, was er oder sie ableiten kann (den Theoremen). Im besten Fall ist die Beziehung so klar, dass der Mathematiker seine Überlegungen einer informellen Checkliste unterziehen und Schritt für Schritt mit der Gewissheit vorgehen kann, dass die Schritte klein genug sind, dass er weder in Verlegenheit gerät, noch dass sie stolpert .