22/04/30 16:38:02.11 .net
>>114
早速、新井の本を見た
等号原理ではなく等号公理ならある
等号に関する三つの規則
反射律 ａ＝ａ
対称律 ａ＝ｂ ⇔ ｂ＝ａ
推移律 ａ＝ｂ ＆ ｂ＝ｃ ⇒ ａ＝ｃ
と述語および関数の引数に対する代入規則からなっている
で、IUTでは上記のどれが否定されてるんだ？
推移律か？代入規則か？
22/04/30 16:38:02.11 .net
>>114
早速、新井の本を見た
等号原理ではなく等号公理ならある
等号に関する三つの規則
反射律 ａ＝ａ
対称律 ａ＝ｂ ⇔ ｂ＝ａ
推移律 ａ＝ｂ ＆ ｂ＝ｃ ⇒ ａ＝ｃ
と述語および関数の引数に対する代入規則からなっている
で、IUTでは上記のどれが否定されてるんだ？
推移律か？代入規則か？