數學構成主義

在數學哲學中 ， 構成主義或構造主義認爲要證明一個數學對象存在就必須把它構造出來 。 如果假設一個對象不存在 ， 並從該假設推導出一個矛盾 ， 對於構成主義者來說 ， 不足以證明該對象存在 。 （ 構造性證明 ） 構成主義常常和直覺主義混淆 ， 實際上 ， 直覺主義只是構成主義的一種 。 直覺主義強調數學的基礎建立在數學家們個人的直覺上 ， 這樣就把數學在本質上作爲一種主觀活動 。 構成主義不這樣強調 ， 並和對數學的客觀看法保持一致 。