瀏覽知乎時候，看到數(shù)學(xué)歸納法的一些帖子，想起之前約略看過陶哲軒的Analysis 實分析里的一些介紹，正巧也在讀汪芳庭的《數(shù)理邏輯》 于是從落了...