Die Progression axiomatischer Beziehungen: Der deduktive Weg von grundlegenden Axiomen zu komplexen Sätzen