konstruktion (latin construʹctio ’sammanfogning’, ’byggnad’, ’uppställning’, ’ordning’, ’konstruktion’, av coʹnstruo ’bygga upp’, ’bygga’), i intuitionistisk matematik och logik allmän benämning på det som matematiken handlar om; såväl tal som bevis för påståenden uppfattas som våra konstruktioner.