мат. Арифметиканы формальды жүйе ретінде тұжырымдау.

Формалды арифметиканың тілі О, константа, сандық айнымалылар, теңдік символы, +, 1 және логикалық байланыстардан құралады (ҚҰЭ).