Source: wikibot/primitive-recursive-arithmetic

= Primitive recursive arithmetic
{wiki=Primitive_recursive_arithmetic}