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

DEDUKTIONSGLEICHHEIT

(f)
равенство по дедукции, дедуктивное равенство