Écart de Conservativité

Un mode de défaillance lors de l’extension d’une théorie où l’ajout de symboles, d’axiomes ou de principes nouveaux entraîne des démonstrations de phrases dans le langage de la théorie originelle qui n’étaient pas démontrables auparavant, violant ainsi la conservativité attendue.