There are many questions in mathematics to which an answer can be found by a purely mechanical procedure. For instance we can determine the valid statements of the class of the statements
n is prime
by the sieve of Eratosthenes; the numbers 2, 3, 4 and so on up to any assigned n are written in a row, and we begin by striking out every second number, starting with 2. Of those which are left, the first is 3 and 3 is prime. Starting with 3, we then strike out every third number, and the first of those which remain is 5, which is prime. Starting with 5 we strike out every fifth number, determining the prime 7, and so on.