{constructivism} [ریاضی] مکتبی در فلسفۀ ریاضی که براساس آن اشیای ریاضی در صورتی وجود دارند که روش یافتن یا ساختن آنها شناخته شده باشد