22ns might be about 100 processor instructions. Somehow I doubt that any programming language can parse 50 strings in 100 instructions, let alone with naive code.
To every definition of a certain kind about natural numbers, there is a number which satisfies it.
Which of course would be rather useless, while the unrestricted comprehension axiom is necessary for the rest of the theory.