Nagrinėjamas ekvivalentus dvigubos indukcijos aksiomos (ADI) pakeičiamumas pirmos eilės predikatų skaičiavime su lygybe ir papildomais simboliais {0, \prime, P, +}. Pateikiama baigtinė, neturinti ADI, aksiomų sistema, ekvivalenti pradiniam skaičiavimui.
Š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.