KnowraConstructive mathematicsLinked fromLinked fromThe 14 pages that link to Constructive mathematics, each with the reason it gives.All 14Related 3Narrower topic 3Compared with 8Axiom of choiceCompared with: An unrestricted existence claim need not provide the explicit selection rule constructive methods demand.Intuitionistic logicRelated: It uses intuitionistic reasoning to ensure existence claims yield explicit mathematical objects.Andrey KolmogorovRelated: Kolmogorov’s interpretation of intuitionistic logic connected proofs with computational content.IntuitionismNarrower topic: Intuitionist foundations helped establish construction as a standard for mathematical existence proofs.Well-ordering theoremCompared with: The theorem asserts existence without generally providing a way to compute a well-ordering.Ernst ZermeloCompared with: A well-ordering guaranteed by choice need not come with an explicit way to construct the order.Constructive proofNarrower topic: Constructive proofs are central to this broader approach to mathematical reasoning.Law of Excluded MiddleCompared with: Its standards of proof often prevent asserting P ∨ ¬P without resolving which side holds.Choice functionCompared with: A choice function may be asserted to exist without a construction, unlike constructive selection.Axiomatic systemCompared with: Its proof standards can differ from those licensed by classical axiomatic systems.Leopold KroneckerNarrower topic: Kronecker’s resistance to nonconstructive existence arguments anticipates this mathematical outlook.Axiom of countable choiceCompared with: Countable choice is a nonconstructive existence principle whose acceptability varies across constructive foundations.Existence theoremCompared with: It challenges existence arguments that establish no explicit witness.Computable numberRelated: Computable reals offer a concrete setting for constructive accounts of real-number existence.