Brecha de Conservatividad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un modo de fallo en la extensión de una teoría en que la adición de nuevos símbolos, axiomas o principios produce teoremas nuevos en el lenguaje de la teoría original que no eran derivables antes, violando así la conservatividad esperada.