Полный англо-русский словарь
formally real
Мат. формально вещественный
Полный англо-русский словарь
formally provable
formally refutable