Направление в основаниях математики конца 19 — начала 20 вв., отвергающее кантовский тезис о синтетическом характере математических истин. — 8 букв