Alas, the spheres of truth are less transparent than those of illusion.
Collected Works: Philosophy and foundations of mathematics, edited by A. Heyting (ed. 1976)
