Arithmetical comprehension