La progression des relations axiomatiques : le chemin déductif des axiomes de base aux théorèmes complexes