Source: wikibot/formal-theories-of-arithmetic

= Formal theories of arithmetic
{wiki=Category:Formal_theories_of_arithmetic}

Formal theories of arithmetic are mathematical frameworks that aim to rigorously express and explore the concepts and propositions related to arithmetic using a formal language. These theories typically involve the axiomatization of basic arithmetic operations like addition and multiplication, as well as the properties of numbers, especially the natural numbers. One of the most notable formal theories of arithmetic is Peano Arithmetic (PA), developed by Giuseppe Peano in the late 19th century.