16

14

[diagram]

is that if two numbers A and B are not identical there
is either some collection that A is used
in counting and B is not, or there is some collection
that B is used in counting and A not.

But the manner in which these two
premisses can be combined to form the mathematical
conclusions of arithmetic has nothing
to do with the particular words that are written
in these two graphs.