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