test for provability

基本解释

• [数学]可证明性的实验可证明的检验

专业释义

数学

• 可证明性的实验
• 可证明的检验