Source: wikibot/formal-theories-of-arithmetic

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