A use-based semantic theory can accommodate mathematical discourse without positing abstract objects...