任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中不能被证明为真,能被证明为否。选项: A:正确; B:错误 这个 初等 数论 发布时间:2024-03-28 11:20:49