タグ「証明論」（1語）

形式体系けいしきたいけい数学モデルに基づき、公理と推論規則を用いて定理を導出する抽象的な思考体系。 116 論理学・弁証法・方法論

タグの一覧へ