Ontology and Mathematics