Number as a Second-Order Concept | Synapse