2006-02-09から1日間の記事一覧
現在2006年2月8日23時59分です。 今日は、解析入門Ⅰの附録2の述語論理のところにいました。もちろん、附録には証明が書かれていないので、私の愛読書のナンバー2である、「数学基礎概説」の自然推論の体系NKというものと、それを集合論用に拡…
現在2006年2月8日23時59分です。 今日は、解析入門Ⅰの附録2の述語論理のところにいました。もちろん、附録には証明が書かれていないので、私の愛読書のナンバー2である、「数学基礎概説」の自然推論の体系NKというものと、それを集合論用に拡…