The following are the current most viewed articles on Wikipedia within Wikipedia's Metatheorems category. Think of it as a What's Hot list for Metatheorems. 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  Gödel's incompleteness theorems  1,949  
2  Entscheidungsproblem  1,153  
3  Gödel's completeness theorem  319  
4  Löwenheim–Skolem theorem  262  
5  Herbrand's theorem  163  
6  Compactness theorem  107  
7  Deduction theorem  71  
8  Tarski's undefinability theorem  64  
9  Metatheorem  52  
10  Gentzen's consistency proof  35  
11  Löb's theorem  19  
12  Lindström's theorem  19  
13  Barwise compactness theorem  13 
