「 月別アーカイブ：2022年04月 」 一覧

２０２２年４月２８日　（ｓｉｎｇｕｌａｒの日）   今回は前回からの続きとして。 ｈａｎ公理体系をｓｉｎｇｕｌａｒ公理体系の観点から見ていきます。 ＺＦでは、無限公理で｛｝を採用していますね ...