On vérifie un à un tous les axiomes.