Konstruktivism avser inom matematiken en matematikfilosofisk inriktning som inte accepterar existensbevis grundade på lagen om det uteslutna tredje, utan kräver att matematiska objekt skall explicit konstrueras. Per Martin-Löf är en ledande företrädare för inriktningen.
- Beeson, Michael, 1985, Foundations of Constructive Mathematics, Heidelberg: Springer-Verlag.
- Bishop, Errett, 1967, Foundations of Constructive Analysis, New York: McGraw-Hill.
- Bridges, D., and Richman, F., 1987, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge: Cambridge University Press.
- Martin-Löf, P., 1968, Notes on Constructive Analysis, Almquist & Wixsell, Stockholm.
