等号記号 = の公理

等号の公理は、同じ対象を指すという同一性を、反射律・対称律・推移律や置換可能性として形式化する。等号は単なる文字列一致ではなく、モデル上の同一性と文脈に依存する。

仕組みと確認

項の評価と等号の解釈を定め、等しいものを置き換えても述語の真偽が保たれることを確認する。ドメインモデルでは、識別子の一意性、値オブジェクト、エンティティの同一性を分ける。

限界と注意点

浮動小数点、正規化前の文字列、時点を持つデータでは、数学的等号と業務上の同一性が一致しない。比較規則、丸め、欠損、バージョンを仕様化する。