谓词()最先提出真与可证是两个不同的概念，认为可证的一定为真，真的不一定可证D•A