「 月別アーカイブ：2020年05月 」 一覧

ここから、ハイパー論理に  前回の弱ＡＣ関連の話題として登場した ＺＦ外で、ＺＦ＋弱ＡＣ内の新命題（論理式） （∃ｘ）ψ（ｘ）・・・（１） ですが。 今更、 「そんなものが必ずあるという保証は？」 な ...