Формальды арифметика

Формальды арифметика - арифметиканы формальды жүйе ретінде тұжырымдау. Формальды арифметиканың тілі О, константа, сандық айнымалылар, теңдік символы, +1 және логикалық байланыстардан құралады. Арифметикалық операцилар үшін теңдікті анықтайтын предикаттарды есептеу аксиомалары мен қорытында ережелері формальды арифметиканың постулаттары болып табылады. Формальды арифметикада рекурсивтік функциялар белгіленеді және оларды анықтайтын теңдіктері дәлелденеді. Бұл жағдай шекті жиындар жөніндегі пікірлерді тұжырымдауға мүмкіндік береді. Формальды арифметика шексіздік аксиомасынсыз алынған Цернело-Френкельдің аксиомалық жиын теориясына эквивалентті формальды арифметика Гедельдің толымсыздық жөніндегі екі теоремасының алғы шарттарында қанағаттандырылған. 
 Дереккөздер 
 Қазақстан ұлттық энциклопедия. 9 том. Алматы, 2007.