| http://www.w3.org/ns/prov#value | - In mathematical logic, a logical theory is a (proof theoretic) conservative extension of a theory if the language of extends the language of ; every theorem of is a theorem of ; and any theorem of that is in the language of is already a theorem of .
|
