Thus if we take as any nonmember of a occurring essentially in, and repeat the above reasoning for each such expression, we see that, through definitions of all such expressions in terms of members of a, becomes an abbreviation of a truth involving only members of a essentially.