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