Changes

A '''constructive proof''' demonstrates the existence of a [[mathematical]] function, number or object by producing (constructing) it.  This is in contrast with other styles of proof, such as proof by contradiction, which asserts the existenc of an object by finding a contradiction if it did not exist.

A '''constructive proof''' demonstrates the existence of a [[mathematical]] function, number or object by producing (constructing) it.  This is in contrast with other styles of proof, such as proof by contradiction, which asserts the existence of an object by finding a contradiction if it did not exist.

The [[Axiom of Choice]] assumes the existence of a function without constructing it, and thus all proofs that rely on the [[Axiom of Choice]] are nonconstructive proofs.

The [[Axiom of Choice]] assumes the existence of a function without constructing it, and thus all proofs that rely on the [[Axiom of Choice]] are nonconstructive proofs.