12/10/17 23:40:47.85
すみません。
「∀x,A(x,y)=A(x,z)→y=z」
は置換公理の一部(十分条件)でした。
どうもおさわがせしました。
12/10/17 23:40:47.85
すみません。
「∀x,A(x,y)=A(x,z)→y=z」
は置換公理の一部(十分条件)でした。
どうもおさわがせしました。
12/10/17 23:40:47.85
すみません。
「∀x,A(x,y)=A(x,z)→y=z」
は置換公理の一部(十分条件)でした。
どうもおさわがせしました。