Большой англо-русский и русско-английский словарь
матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula ≈ геометрически доказуемая формула - arithmetically provable - formally provable - geometrically provable - intuitionistically provable - provable definability - provable equation - provable formula - provable sentence - provable sequent - provable statement доказуемый provable доказуемый
Новый большой англо-русский словарь
[ʹpru:vəb(ə)l] a
доказуемый