Wörterbücher
Forum
Kontakte

   Englisch +
Google | Forvo | +

soundness theorem

Betonungen
Math. теорема о семантической непротиворечивости; теорема о корректности (vitalinew)