Introduction to Mathematical Philosophy

by Bertrand Russell

for the same argument

. The easiest way to conceive of the sort of thing that is intended is to start not from

and

in general, but from

and