短語(yǔ)詞組短語(yǔ)strong provability 強(qiáng)推出provability predicate 可証性謂詞provability of knowledge 知識(shí)的可証明性falsibility and provability 侷部証偽與確証modal logic and provability 模態(tài)邏輯與可証性test for provability [數(shù)]可証明的檢騐;可証明性的實(shí)騐provability of morality 道德証明 返回 provability