18

16

[diagram]

The fourth proposition is that for any collection that
some number is used in counting and that some number
is not used in counting there is a number (namely the
number of its count) used in counting it
that is such that whatever number is used in