19/07/03 14:39:04.36 EzBjIgwZ.net
田中一之・鈴木登志雄 著『数学のロジックと集合論』を読んでいます。
カントル・ベルンシュタイン・シュレーダーの定理の証明に使う補題1.12（p.57）の証明ですが、
致命的な誤りを発見しました。
このような基本的な命題の証明で誤るというのが信じられません。
しかも、厳密性がもっとも重んじられるロジックや集合論の本においてです。
この著者らは一体何を考えているのでしょうか？
19/07/03 14:39:04.36 EzBjIgwZ.net
田中一之・鈴木登志雄 著『数学のロジックと集合論』を読んでいます。
カントル・ベルンシュタイン・シュレーダーの定理の証明に使う補題1.12（p.57）の証明ですが、
致命的な誤りを発見しました。
このような基本的な命題の証明で誤るというのが信じられません。
しかも、厳密性がもっとも重んじられるロジックや集合論の本においてです。
この著者らは一体何を考えているのでしょうか？