Describir: Hilbert spaces in intuitionism =