Naturalism in mathematics