“The primary concern of mathematics is number, and this means the positive integers…. Mathematics belongs to man, not God. We are not interested in properties of the positive integers that have no descriptive meaning for finite man. When a man proves a positive integer exists, he should show how to find it. If God has mathematics of his own that needs to be done, let him do it himself.”