Abstract de la publi numéro 8300

L'histoire de la methode axiomatique de point de vue d'evidence et d'interpretation des axiomes est etudiee, en particilier, changement d'attitude due au developpement d'ordinateur et ressources informatiques.