2016-03-18から1日間の記事一覧
『ゲーデルと20世紀の論理学』第4巻p74、補題2.21(2)では、【定理】順序数のみからなる任意の空でないクラス\(C\)に対し、\(\bigcap C\)がその最小元となる。を示している。しかしその証明は私には理解できず、解読しようと思っていた矢先、出版後に修正され…
『ゲーデルと20世紀の論理学』第4巻p74、補題2.21(2)では、【定理】順序数のみからなる任意の空でないクラス\(C\)に対し、\(\bigcap C\)がその最小元となる。を示している。しかしその証明は私には理解できず、解読しようと思っていた矢先、出版後に修正され…