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