Akademik

formally complete theory

Математика: формально полная теория

Универсальный англо-русский словарь. Академик.ру. 2011.