正因为这样，所以笛卡尔才认为“我在怀疑”为真。

当然我觉得对这个事情达不成共识，就是你说的自然语言太粗糙了🥲

但我觉得他思路还是可以且值得借鉴的，即使“我在怀疑”某种程度上可能为假，它也跟别的假不一样，我们暂定它为真能避开很多矛盾。

至于你说的形式上是一个无法退出的递归等等，我觉得其实也不算吧，因为被怀疑对象没有被调用，它是“我在调用怀疑这个函数”。

即 function_怀疑(我在调用function_怀疑)。这样看来我好像不是必要的，是不是应该改成function_怀疑(function_怀疑在被调用)。