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

２０２２年７月２８日　（馬化の日）   ＺＦから置換公理を除いた公理体系を、私は、 「ＺＦ（＊）」 と表示してきたわけですが。 従来、数学のかなりの部分はＺＦ（＊）で展開できると考えられてき ...