Mathematical empiricism