Category:Formal theories of arithmetic

From HandWiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Handwiki book24.pngComputing portal

Here is a list of articles in the category Formal theories of arithmetic of the Computing portal that unifies foundations of mathematics and computations using computers. These systems provide a logical framework and a set of axioms for the formal study of arithmetic in the context of mathematical logic.

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Formal_theories_of_arithmetic&oldid=219584"