abstract:In mathematical logic, a logical theory T_2 is a (proof theoretic) conservative extension of a theory T_1 if the language of T_2 extends the language of T_1; every theorem of T_1 is a theorem of T_2; and any theorem of T_2 that is in the language of T_1 is already a theorem of T_1.
Throughout the presidential campaign, Moussavi labored hard to portray his proposals on social policy and foreign affairs as an extension of the Islamic system in order to disarm conservative critics, even denying that he is a mainstream reformist candidate in the hope of winning the support of reformers and moderate conservatives.