Anfonwch hwn fel neges destun: Hilbert spaces in intuitionism =