La progresión de las relaciones axiomáticas: el camino deductivo desde los axiomas básicos hasta los teoremas complejos