Akademik

Beweisbarkeitsgleichheit

(f)

равенство по выводимости

Немецко-русский математический словарь. 2013.