non-contradiction des axiomes