集合論を学んでいると「同値」て概念が気になって、寄り道して同値の議論を眺めていたら「=」って記号が気になり始めて、「そう言えば『=』って論理記号は当たり前のように使っているが、それはどう定義されているのだろう」とWikipediaを調べました。二項関係と集合論で少し定義が異なるようで、二項関係の方を見てみると「相等」を意味すると記載があります。「相等って...何やんねん」と。これについてネットでいくら知らべてもWikipediaの不親切記事しかでてこない。絶望しかけていたのですが「そもそも『=』って公理とかそのレベルの話なんじゃね?」と視点を変えて検索してみると「等式」というページにたどり着きました。等式の定義って難しくないですか。本当に厳密に真に「等しい」って?「弱い等しい」は僕らは日常的に使っていますが、強力な厳密な真の「等しい」の定義ってできる?ってことなんですよ。等式の定義をWikipediaから引用します。(両辺ともに一意的な意味を持つ限りにおいて)常に成り立つ。代入原理と反射律から以下の性質が導かれる。