The following are the current most viewed articles on Wikipedia within Wikipedia's Formal theories of arithmetic category. Think of it as a What's Hot list for Formal theories of arithmetic. More info »
This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.
Rank  Topic  Wikipedia views  

1  Peano axioms  524  
2  Undecidable problem  178  
3  Presburger arithmetic  96  
4  Secondorder arithmetic  59  
5  Settheoretic definition of natural numbers  48  
6  True arithmetic  37  
7  Robinson arithmetic  23  
8  Nonstandard model of arithmetic  23  
9  Typographical Number Theory  19  
10  Primitive recursive arithmetic  18 
These systems provide a logical framework and a set of axioms for the formal study of the natural numbers in the context of mathematical logic.
The following 10 pages are in this category, out of 10 total. This list may not reflect recent changes (learn more).
NP 
RST 
T cont.U 
