Hakuluettelo:

Käännös:

conservative extension (suomeksi)

Määritelmät:

(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.

Viimeisimmät haut: conservative extension, alitatte, kuljemme, n-iamond, taarab, helmililjat

Suosittuja sanoja: support, hakea, ignition, korjata, pitch, terveisin

Tietoa Suomi-englanti sanakirja © 2009-2026