相等

暇つぶしに見て

「等しい(=)」って、何…?

数学の集合論を学んでいると「同値」て概念が気になって、寄り道して同値の議論を眺めていたら「=」って記号が気になり始めて、「そう言えば『=』って論理記号は当たり前のように使っているが、それはどう定義されているのだろう」とWikipediaを調...