Naturalism in Mathematics