Extensión No Conservativa

Una extensión de una teoría formal obtenida al añadir nuevos axiomas (o esquemas de axiomas) que permite deducir al menos un nuevo teorema expresable en el lenguaje original de la teoría; dicha extensión no es conservativa respecto de las oraciones del lenguaje inicial.