If semantic facts about mathematical language can entail ontological conclusions, then the dispute b...