一階述語論理の統語論 ― 言語(記号集合)の設定

一階述語論理の統語論　―　言語(記号集合)の設定を新規作成。アップロード。