Étude de l'établissement de la systématisation axiomatique de l'algèbre abstraite