We want, next, in order to express (1), a means of expressing with
regard to a particular relational property P, the assertion that, from
the proposition, with regard to _anything_ whatever, that that thing
has got P, it _follows_ that nothing which has not got P is identical
with the thing in question. This also is an assertion which is quite
certainly true; since it merely asserts (what is obviously true) that
what