Text this: Naturalism in mathematics