test for provability

基本解释

• [數學]可証明性的實騐可証明的檢騐

专业释义

數學

• 可証明性的實騐
• 可証明的檢騐