Mathematische Existenz. Untersuchungen zur Logik und Ontologie mathematischer Phänomene