同じ内容をどこかに書いた気もするのですが，等号の話が出た流れで．かなり以前の「√素数が有理数でないこと」http://ehito.hatenablog.com/entry/20130419/1366333894 の続編です．定数記号ｃ，２項関数記号ｆ，ｇをもつ言語に，前回のように等号の公理を導…

今回は ・等号の公理 と ・理論と構造の濃度との関係 について述べます．以下，２項述語記号＝を等号と呼び，これを元にもつ言語を固定，ｔ１，ｔ２がその項ならば ＝（ｔ１，ｔ２）をｔ１＝ｔ２ ￢（＝（ｔ１，ｔ２））をｔ１≠ｔ２ とそれぞれ略記します．…