W filozofii matematyki konstruktywizm zakłada, że trzeba znaleźć (lub „skonstruować”) konkretny przykład obiektu matematycznego, aby udowodnić, że taki przykład istnieje. Natomiast, w klasycznej matematyce można udowodnić istnienie obiektu matematycznego bez „znajdowania” go wprost, lecz zakładając jego nieistnienie, a następnie wyprowadzając z tego założenia sprzeczność. Taki dowód przez sprzeczność można nazwać niekonstruktywnym, a konstruktywista może go odrzucić. Konstruktywistyczny punkt widzenia zakłada weryfikacyjną interpretację kwantyfikatora egzystencjalnego, która jest sprzeczna z jego klasyczną interpretacją.
Istnieje wiele form konstruktywizmu. Należą do nich program intuicjonizmu założony przez Brouwera, finityzm Hilberta i Bernaysa, konstruktywna matematyka rekurencyjna Szanina i Markowa oraz program analizy konstruktywnej Bishopa. Konstruktywizm obejmuje również badania nad konstruktywnymi teoriami zbiorów, takimi jak ZFC, oraz badanie teorii toposu.