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

２０２３年２月２８日　（警告の日）   今回は予定通り、ＺＦ（｛ｘ｜｝）が第一階述語論理ベースにならないことを論証します。 これは、すでに何回も繰り返して指摘した事実であり。 証明も終えてい ...

引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。