Большая Советская Энциклопедия (ИН)

Интуиционизм

Интуициони'зм в математике, философское направление, отвергающее теоретико-множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. На базе И. возник также ряд других направлений в основаниях логики и математики, в частности конструктивное направление . См. Математический интуиционизм .