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

２０２３年１０月２８日　（シェーマの日）   一般に形式公理体系Ｔという場合。 公理候補として無限個の公理を許可します。 この場合の無限の意味、レベルは？ だって、公理として提示できるのは有 ...