SMS: Mathematischer Platonismus und Dummettscher Antirealismus