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