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.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.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.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.