SłownikiForumKontakt

   Angielski +
Google | Forvo | +

soundness theorem

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