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

ここからハイパー論理に。  最初に、前回の宿題の解答から。 ＺＦ＋￢ＡＣで登場する新たな空集合を ∅（￢ＡＣ）＝｛Ａ｜∀ｚ∈Ｘ∃ｔ（ｚ∩Ａ＝｛ｔ｝｝・・・（１） と設定したわけですが。 一つだけ気にな ...