but ""; and not "" but "".

(Therefore instead of Russell's "": "".)

5.5321 Instead of "" we therefore write *e.g.* ""

And the proposition "*only* one satisfies "
reads : "".

5.533 The identity sign is therefore not an essential constituent of logical notation.

5.534 And we see that apparent propositions like : "", "", "", "", etc. cannot be written in a correct logical notation at all.

5.535 So all problems disappear which are connected with such pseudo-propositions.

This is the place to solve all the problems which arise through Russell's "Axiom of Infinity".

What the axiom of infinity is meant to say would be expressed in language by the fact that there is an infinite number of names with different meanings.

5.5351 There are certain cases in which one is tempted
to use expressions of the form *"" or "".
As, for instance, when one would speak of the
archetype Proposition, Thing, etc. So Russell in the
*Principles of Mathematics* has rendered the nonsense "*p*
is a proposition" in symbols by "" and has
put it as hypothesis before certain propositions to
show that their places for arguments could only
be occupied by propositions.

(It is nonsense to place the hypothesis before a proposition in order to ensure that its arguments have the right form, because the hypothesis for a non-proposition as argument becomes not false but meaningless, and because

the proposition itself becomes senseless for argu-