2016-04-16から1日間の記事一覧
※このエントリは古くなっています。より簡明な証明が http://y-bonten.hatenablog.com/entry/2016/06/16/142914 にあります。『数学のロジックと集合論』p77、定理2.10の証明を、自分で書き直してみた。\(m\in\mathbb{N}\)と写像\(g:\mathbb{N}\to\mathbb{N}…
※このエントリは古くなっています。より簡明な証明が http://y-bonten.hatenablog.com/entry/2016/06/16/142914 にあります。『数学のロジックと集合論』p77、定理2.10の証明を、自分で書き直してみた。\(m\in\mathbb{N}\)と写像\(g:\mathbb{N}\to\mathbb{N}…