Абстракция актуальной бесконечности
АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ — одна из основных абстракций математики и логики, позволяющая исследовать бесконечные совокупности (множества), применяя к ним логические принципы (в частности, исключенного третьего закона, произвольного выбора принцип и др.).
Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 4-5.