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, velkaantumisaste, bariumpuuro, Varunapriya, moabilainen, palynofloras