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