数学基礎論・数理論理学　その16 [転載禁止]©2ch.net

基礎論の本
今度はPeano算術の導入前に命題論理の補題の証明で「帰納法」が出てきました・・・？？？
まあいいか。数学的帰納法とは別物なのでしょう。「自然言語的帰納法」とでも言えばいいに違いない。