我的项目旨在表明，尽管从一开始就进行了无休止的批评，但笛卡尔在减轻系统性怀疑或有时被称为形而上学的怀疑的尝试中并没有合理的过失。 所谓“不能合理地过错”，是指笛卡尔并不公开批评他是因为做出了自己时代标准所不能接受的假设，也不是因为在推理上犯了错误。 本文试图分析笛卡尔在形而上学的怀疑和激进的怀疑论上与格德尔-Lb可证明性逻辑所解决的有关可证明性和真理的问题的斗争。