  Consider sentences which are accepted as mathematical theorems and which contain one or more mathematical singular terms. By Truth, most of these sentences are  true.[9]  Let S be one such sentence. By Classical Semantics, the truth of S requires that its singular terms succeed in referring to mathematical objects. Hence there must be mathematical objects, as asserted by  Existence.[10]