哥德尔。哥德尔最先提出真与可证是两个不同的概念，认为可证的“一定”为真，真的“不一定”可证。