Are there any good arguments against arithmetic platonism? I.e. believing the natural numbers make sense, and all propositions in PA have a definite truth value, but refusing to acknowledge non algorithmic and non arithmetic subsets of the naturals. It seems this position is the most consistent with results in mathematical logic.