направление в основаниях математики, полагающее критериемубедительности доказательства интуитивную ясность каждого его шага; непризнает т. н. абстракцию актуальной бесконечности, характерную длямножеств теории.
