简明数理逻辑

最新书摘:
  • 马蹄北去
    2022-07-27
    注记6.6.5在注记6.6.4中,我们已指出,如果PA协调,则存在在标准模型中为真但不可证的语句。注意,如果PA协调,则CONSIS必在PA的每个模型中都成立。从而,如果PA协调,则存在不可证的语句,它在PA的每个模型中都成立。