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, visual streak, soft fruit, suvanto, autoinstall, eel-like