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

２０２２年１２月２８日　（神帝の日）   今は、ＺＦが第一階述語論理ベースにはならないことを論証している最中です。 その伏線として、ＳＡＴを持ち出し。 ＳＡＴの論理式は論理関数として把握でき ...