数学归纳法资料.pdfVIP

号 士 考 彼 卷 文 BACHELORS THESIS 学归纳法证明叮递归定义法的合法性依据 如（何避免一个表面上 的 “ 性循环 ”，即用归纳法定 义 自然数，然后由此出发来证明自然数上数学归纳法的可行性?） 算术理论 的形式展开. 一（个少年时代的疑问之终结：如何严格证明加法与乘法的结合律， 交换律与分配律？ “定律 ” P（ostulates）转 化 为 “定理 ”T（heorem s）〉* D igr e ssion ,归纳 。递归的数值叮非数值形式， 不动 点计算over sets.