THEOREMS TOP 50

End of 1998

(i)
(ii)
(iii)
1.
TARSKI:def 1
4296
1.6761%
2.
AXIOMS:22
4170
1.6270%
3.
BOOLE:def 3
3700
1.4436%
4.
BOOLE:def 2
3374
1.3164%
5.
FINSEQ_1:def 3
2579
1.0062%
6.
NAT_1:38
2558
0.9980%
7.
BOOLE:29
2515
0.9813%
8.
AXIOMS:13
2163
0.8439%
9.
BOOLE:def 4
1679
0.6551%
10.
STRUCT_0:def 2
1596
0.6227%
11.
FINSEQ_3:27
1547
0.6036%
12.
TARSKI:def 4
1486
0.5798%
13.
FINSEQ_1:3
1483
0.5786%
14.
FUNCT_1:11
1448
0.5650%
15.
TARSKI:def 3
1434
0.5595%
16.
FUNCT_1:12
1361
0.5310%
17.
STRUCT_0:def 3
1324
0.5166%
18.
ZFMISC_1:106
1289
0.5029%
19.
NAT_1:29
1244
0.4854%
20.
TARSKI:def 2
1206
0.4705%
21.
REAL_1:def 5
1195
0.4662%
22.
FUNCT_2:def 1
1188
0.4635%
23.
REAL_2:17
1150
0.4487%
24.
SQUARE_1:6
1054
0.4112%
25.
PBOOLE:def 3
998
0.3894%
26.
BOOLE:def 8
993
0.3874%
27.
MCART_1:7
950
0.3707%
28.
AXIOMS:18
892
0.3480%
29.
FUNCT_1:72
868
0.3387%
30.
AXIOMS:16
847
0.3305%
31.
AXIOMS:21
842
0.3285%
32.
REAL_1:59
811
0.3164%
33.
FINSEQ_4:def 4
803
0.3133%
34.
REAL_1:36
796
0.3106%
35.
PRE_TOPC:12
793
0.3094%
36.
FINSEQ_1:35
777
0.3032%
37.
REAL_1:14
772
0.3012%
38.
AFF_1:def 1
760
0.2965%
39.
ZFMISC_1:37
756
0.2950%
40.
ZFMISC_1:33
753
0.2938%
41.
BOOLE:64
750
0.2926%
42.
BOOLE:42
731
0.2852%
43.
BINOP_1:def 1
729
0.2844%
44.
GRFUNC_1:8
718
0.2801%
45.
AFF_1:15
704
0.2747%
46.
BOOLE:37
701
0.2735%
47.
FUNCT_2:def 4
682
0.2661%
48.
BOOLE:60
674
0.2630%
49.
REAL_1:53
669
0.2610%
50.
RLVECT_1:def 1
658
0.2567%

Explanations:
    (i) - Number of theorem and its ranking.
   (ii) - Number of references.
  (iii) - Percentage of all references.

Previous year Next year