Those symbols which are called propositions in which “variables occur” are in reality not propositions at all, but only schemes of propositions, which only become propositions when we replace the variables by constants. There is no proposition which is expressed by “x = x”, for “x” has no signification; but there is a proposition “(x).x = x” & propositions such as “Socrates = Socrates” etc.