axiom-omorphism

Etymology

axiom + -omorphism。公理系間の構造保存写像。

語幹 axiom

axiom（本項参照）に由来。

接尾辞 -omorphism

ギリシャ語 μορφή (morphē) より。「形を保存する写像」。

Origin

Common Logic (ISO/IEC 24707)。形式的実装。

Meaning

論理構造を保存する公理系間の写像。

Earliest use

今後の派生候補。

Definition

異なる論理体系間の公理構造の対応。例：数論と幾何の論理を接合する写像。Common Logic (ISO/IEC 24707) の形式的実装に近い。