David Bessis's definition of mathematics as a cognitive practice — a technique for transforming intuition — rather than the study of Platonic objects or a formal game of symbols. Under conceptualism, formal proofs are scaffolding; the mathematics is the intuitive understanding they support.
