Category:Formal theories of arithmetic

From WikiProjectMed
Jump to navigation Jump to search

These systems provide a logical framework and a set of axioms for the formal study of arithmetic in the context of mathematical logic.

This category currently contains no pages or media.

Retrieved from "https://mdwiki.org/wiki/Category:Formal_theories_of_arithmetic"