axiom→theorem
公理が基底、定理はそこから導出される。
Axiom 関連の概念的ランドスケープの概要。論理、数学、哲学、形式体系におけるドメイン、関係、用語の接続を示します。
公理が基底、定理はそこから導出される。
公理と推論規則が体系を構成する。
公理化により理論の axiomaticity が高まる。
写像がドメイン間の公理構造を接合する。
ランドスケープは、中核語 axiom から派生語(axiomatic, axiomatize, axiomatism)・複合語(axiomatic system, axiom of choice)を経て関連概念(postulate, theorem, lemma)に至る。詳細は Glossary と Comparables を参照。 Glossary · Comparables