Si on ajoute à un système logique un axiome affirmant qu'il est consistant, ça ne le rend pas consistant pour autant.