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