Neblux 知識グラフ
公理系
公理系とは、形式言語、公理集合、および定理を導出する推論規則によって規定される演繹体系である。
概要
知識を公理から演繹的に体系化する手法は、古代ギリシャの幾何学、特にユークリッドの『原論』に起源をもつ。近代以降の形式論理学は、記号体系、公理（有限の公理列または公理図式）、および機械的推論規則を厳密に定義し、構文的定理性と意味論的真理を明確に区別した。これにより、体系の無矛盾性や完全性、独立性などの論理的性質の解析が進展した。
なぜ重要か
公理系の手法は、現代数学の基礎付けや記号論理学、理論計算機科学に厳密な基盤を提供している。さらに、定理証明支援系や型理論、プログラム検証技術の実装基盤として活用されている。
何の上に築かれるか
どこへ導くか
関連する概念
- 幾何学歴史
- 形式論理概念
- 科学的方法概念
- コンピュータサイエンス応用
- 哲学概念