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)