Văn bản này: Hilbert spaces in intuitionism =