Актуалдуу чексиздиктин абстракциясы

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

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

Бул жерден да карап көрүңүздөр түзөтүү

Колдонулган адабияттар түзөтүү