Why not call the set of all sets of actual objects with cardinality 3, "three", the set of all sets of physical objects with cardinality 2, "two", and the set of all sets of physical objects with cardinality 5, "five"? Then when I said that 2+3=5, all I would mean is that for any x in two and any y in three, the union of x and y is in five. If you allow sets of physical objects, and sets of sets of physical objects, into your ontology, then you got this; 2+3=5 no matter what anyone thinks, and two and three are real objects existing out there.