—“The primary concern of mathematics is numbers, and this means the positive integers. . . . In the words of Kronecker, the positive integers were created by God. Kronecker would have expressed it even better if he had said that the positive integers were created by God for the benefit of man (and other finite beings). 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 needs to be done, let him do it himself.”— (Bishop 1967, Chapter 1, A Constructivist Manifesto, page 2)
—“If God has mathematics of his own that needs to be done, let him do it himself. “—
Yes, and equally so:
**If****god has morality of his own that he needs to be done, then let him do that himself as well.**
Man’s only possible morality consists in fully informed, warrantied, voluntary exchange, free of negative externality.