Mathematics belongs to man, not to 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 to exist, he should show how to find it. If God has mathematics of his own that need to be done, let him do it himself.

Foundations of Constructive Analysis, Chapter 1 (p. 2)