On Measure Quantifiers in First-Order Arithmetic