2 thoughts on “《数理逻辑:证明及其限度》(第二版)勘误

  1. 第17页1.5.5定义,要求S是由X的非空子集组成的集合。(否则无法排除划分中含有空集作为元素的情况,由此,第18页定理1.5.9(1)未必成立)。

Leave a Reply

Your email address will not be published. Required fields are marked *

sixteen + 15 =