Sanakirja
Tekoälykääntäjä

Käännöksiä ei löytynyt valitulle kohdekielelle.

Määritelmät

Substantiivit

  1. (mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

Taivutusmuodot

Monikkoconservative extensions