Assertion: atom's number | /r/HasProperty | defined in terms of classes
Facets:
Source sentences:
text: In first showing that numbers such as 1, 2, etc., could be defined in terms of classes of like cardinality, and then showing how apparent discourse about “classes” could be replaced by higher-order quantification, Russell made it possible to see how it is that there could be truths of arithmetic without presupposing that the numbers constitute a special category of abstract entity.