Akademik

Beweisbarkeit

(f)

доказуемость

выводимость

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