conservative extension

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

1. {{lb|en|mathematics|logic}} An [[extension]] of a logical [[theory]] such that every [[theorem]] expressible in the [[original]] theory is also [[derivable]] within the original theory.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.