konstruktyveji objèktai, tiriami ir vartojami tik potencialaus realizavimo abstrakcijos srityje. Ši reiškia abstrahavimąsi nuo objekto sukūrimo praktinės negalimybės (pavyzdžiui, abstrahuojamasi nuo praktinės negalimybės turimoje lentoje parašyti kreida bet kokio ilgumo sakinį ir samprotaujama taip, tarsi tai būtų įmanoma). Kokio nors objekto, turinčio tam tikras savybes, egzistavimas laikomas įrodytu tik tada, kai nurodomas potencialiai realizuojamas jo sukūrimo būdas. Intuicionistai konstruktyvuosius objektus laiko pradinės intuicijos rezultatu, konstruktyvistai konstruktyvuosius objektus ir jų sukūrimo priemones – idealizuotais materialių objektų ir jų dėsningumo prototipais. Konstruktyvieji objektai yra konstruktyviosios matematikos ir konstruktyviosios logikos pradinė sąvoka.
314