KnowraIntuitionismLinked fromLinked fromThe 19 pages that link to Intuitionism, each with the reason it gives.All 19Broader topic 3Related 4Narrower topic 1Compared with 11Brouwer fixed-point theoremRelated: Brouwer's broader mathematical program shaped the context in which he developed topology.Banach–Tarski paradoxRelated: The theorem's dependence on choice raises questions about existence without explicit construction.Heyting algebraRelated: Its rejection of unrestricted excluded middle motivated the logic represented by Heyting algebras.Peirce's lawRelated: Its rejection of Peirce's law follows from its constructive account of proof.