Nagrinėjamas dvigubos indukcijos aksiomos (ADI) su bekvantorine indukcine formule įrodomumas adicinėje aritmetikoje, pašalinant [2] straipsnyje taikytą apribojimą. Pateikiama baigtinė aksiomų sistema,
kurioje įrodoma ADI bei šių aksiomų įrodomumas su dviguba indukcijos aksioma.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.
Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.