[数] 不可证明性

... 不可展直纹（曲）面 skew ruled surface 不可证明性 unprovability 不可直接分解的 direct indecomposable ...

 不可证明

... 证明 prove; testify; bear out 不可证明 unprovability 可证明的 certifiable; certifiably; evincible; justifiable; provable; vindicable ...