Akademik

undecidable formula

мат. неразрешимая формула

Большой англо-русский и русско-английский словарь. 2001.