Интуициони́зм — система
философских и
математических идей и методов, связанных с пониманием математики как совокупности «
интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического суждения является интуитивная убедительность возможности проведения
мысленного эксперимента, связываемого с этим суждением. Поэтому в интуиционистской математике отвергается
теоретико-множественный подход к определению математических понятий, а также некоторые способы рассуждения, принятые в
классической логике.