Матем. доказуемый 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 доказуемый