5.5301

É óbvio que a identidade não é uma relação entre objetos. Isto se torna muito claro quando se considera, por exemplo, a proposição “(x) : fx . ⊃ . x = a”. A proposição diz meramente que apenas a satisfaz a função f, mas não diz que sòmente as coisas que mantêm uma certa relação com a satisfazem a função f.