Актуалдуу чексиздиктин абстракциясы
Актуалдуу чексиздиктин абстракциясы математикалык логиканын бир формасы катары чексиздиктин жыйындысын логиканын принциптерин колдонуп изилдейт. 

Актуалдуу чексиздиктин абстракцисы – бүткөн жана бүтпөгөн чексиздиктин процесстеринде изилденип көп жактуулуктун элементтерин түзөт (Мисалы: конструкциялык белгилер, континуумдагы натуралдык сандар, кесиндилер, көп жактуу формулалар, логикалык изилдөөнүн чексиздиги).

Бул жерден да карап көрүңүздөр 
 Абстракция

Колдонулган адабияттар 
Философия: энциклопедиялык окуу куралы/Мамлекеттик тил жана энциклопедия борбору.-Б.: 2004, ISBN 9967-14-020-8

 Философия
 Билим берүү