Semantics

Axiom 関連用語の意味論的分析。意味領域の比較と、表層（axiom-ness）と深層（axiomaticity）の概念の区別を明確にします。

表層と深層の意味

公理的であるという直感的・表層的な性質。「自明である」「主張に値する」という命題の属性を、形式化なしに表現する。

Axiom-ness · -ness 接尾辞

ある領域が公理によってどの程度形式化されているかの度合い。理論や体系がどれだけ公理化されているかを示す技術的指標。

Axiomaticity · -ity 接尾辞

公理を基礎命題として。証明論的・モデル論的役割。

公理を自明の真理として。認識論的・形而上学的側面。

axiomatic を「明らか」「当然」の意で。口語的用法。

Axiom を理解するために必要な主要な用語と形式体系。各用語に語源・参考文献付きの個別ページがあります。

数学の標準的な公理的基盤。集合の帰属と演算を公理化した一階理論。選択公理（AC）はその公理の一つ。

一方が他方に、命題が真であることを、その命題の妥当性以外の情報を一切漏らさずに証明する暗号プロトコル。公理的推論と同様、仮定から証明する点で関連。

個体に対する量化子（∀, ∃）を持つ形式論理体系。ZFC、ペアノ算術など数学理論を公理化する標準的枠組み。

公理と推論規則からなる体系。公理が出発点、規則が定理を導く。例：命題論理、述語論理、ZFC。

既存の命題から新しい命題を導く規則。モーダス・ポネンス、全称例化など。公理とともに、何が証明可能かを定義する。

与えられた公理を満たす数学的構造の研究。理論のモデルとは、その公理がすべて成り立つ構造。構文（公理）と意味（解釈）を結ぶ。