Абстракция, приводящая к понятию бесконечного множества, законна и осмысленна при двух условиях: 1

1. Должно существовать множество однородных сущностей. 1 Например, числа, определяемые как множество абстрактных единиц, представляющее собой конечную сумму этих единиц на каждом этапе (1+1+1+… = n). 1
2. Признавая конечность каждого n, невозможно назвать наибольшее конечное число. 1

Также абстракция актуальной бесконечности, которая приводит к понятию бесконечного множества, законна и осмысленна, если при рассмотрении какого-либо необрывающегося конструктивного процесса, порождающего объекты определённого типа, отвлечься от принципиальной незавершаемости этого процесса. 45 Представив его как бы «продолженным до конца» и тем самым завершившимся, ввести в рассмотрение его воображаемый результат — множество (совокупность) всех порождённых им объектов. 4 При этом возникшее таким образом множество в дальнейшем начинают трактовать в качестве актуального, «готового» объекта рассмотрения. 4