「 月別アーカイブ：2021年10月 」 一覧

２０２１年１０月２８日　（言の日）   今まで、数学の証明全体を見直す必要があることを指摘してきました。 これは、ＺＦ（｛ｘ｜｝）が矛盾していることからの論理的帰結なんですが。 鈍い猿は、こ ...

２０１９年７月２８日　（ＬＫの日）   数学者は集合論や論理を自分達の領域の必須分野だと思ってなかった。 だから、勉強できてない。 これじゃ、証明の何たるかが判るはずもない。 まして、況や、 ...