中文好像翻譯成布勞威爾定理。

布勞威爾是個異類，認為數學不是對客觀世界的描述和反應，而是隻存在於人的頭腦中（意識中）的產物。所以證明數學定理必須把它給構造出來，構造不出來就不算數。

他是荷蘭人，和荷蘭量子力學學派的哲學觀點不謀而合。他和希爾伯特觀點對立，當時受到打擊。可能今後其思想會越來越證明是對的。