ことばいちらん /証明論 #証明論 8こ 完全性 かんぜんせい 帰謬法 きびゅうほう 形式体系 けいしきたいけい 健全性 けんぜんせい 公理 こうり 自然演繹 しぜんえんえき 推論規則 すいろんきそく 無矛盾性 むむじゅんせい