https://m-hiyama-second.hatenablog.com/entry/2021/11/29/164214 からの続き。 答： bXコンポネントのクラスはある程度うまくいく。目的とする事実： オプティックbXコンポネントとレンズbXコンポネントは同値である。bXコンポネントの代表元〈実装パター…

基本 素朴論理とは 変数に関する絶対厳守のルール 変数を含む命題 論理式の真偽値 フビニの定理 全称と存在の混合 存在と射影 型コンテキスト記述の例 キーワード／キーフレーズ 素朴論理とは 素朴集合論 ： 公理的集合論 ＝ 素朴論理 ： 形式論理 素朴集合…