- Etymology
- From axiom + -omorphism. Structure-preserving mapping between axiomatic systems.
- Stem axiom
- From axiom (q.v.).
- Suffix -omorphism
- From Greek μορφή (morphē). "Form-preserving mapping."
- Origin
- Common Logic (ISO/IEC 24707). Formal implementation.
- Meaning
- A mapping between axiomatic systems that preserves logical structure.
- Earliest use
- Future derivation candidate.
- Definition
- Correspondence of axiomatic structures across logical systems. Example: a mapping that connects the logic of number theory and geometry. Close to the formal implementation of Common Logic (ISO/IEC 24707).