• направление в основаниях математики
• система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений