An approach to mathematics that views it as a living, growing subject in which proofs and counterexamples are used to generate a constantly changing understanding of mathematical problems and their solutions.