Большой энциклопедический словарь
ИНТУИЦИОНИЗМ
ИНТУИЦИОНИЗМ — направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признает т. н. абстракцию актуальной бесконечности, характерную для множеств теории.