Brouwer's intuitionism

GPTKB entity