Tekstiviesti: Hilbert spaces in intuitionism =