"A set is a unity of which its elements are the constituents. It is a fundamental property of the mind to comprehend multitudes into unities. Sets are multitudes which are also unities. A multitude is the opposite of a unity. How can anything be both a multitude and a unity? Yet a set is just that. It is a seemingly contradictory fact that sets exist. It is surprising that the fact that multitudes are also unities leads to no contradictions: this is the main fact of mathematics. Thinking a plurality together seems like a triviality: and this appears to explain why we have no contradiction. But “many things for one” is far from trivial."