Identity of indiscernibles

November 23, 2010

d(a,b)=0 iff a=b is also called “identity of indiscernibles”.

%d bloggers like this: