Ordinal
|
First-order arithmetic
|
Second-order arithmetic
|
Kripke-Platek set theory
|
Type theory
|
Constructive set theory
|
Explicit mathematics
|
|
,
|
|
|
|
|
|
|
,
|
|
|
|
|
|
|
,
|
,
|
|
|
|
|
[1]
|
,
|
|
|
|
|
|
|
,
|
,
|
|
|
|
|
|
|
[7]: 40
|
|
|
|
|
|
|
, , , [8]p. 8
|
[9]p. 869
|
|
|
|
|
|
,[10] [11]: 8
|
|
|
|
|
|
|
[12]p. 959
|
|
|
|
|
|
|
,[13][11] ,[14]: 7 [13]p. 17, [13]p. 5
|
|
|
|
|
|
|
, [13]p. 52
|
|
|
|
|
|
|
, [15]
|
|
|
|
|
|
, [16]p. 17, [16]p. 17
|
[17]p. 140, [17]p. 140, [17]p. 140, [8]p. 8
|
[9]p. 870
|
|
|
|
|
|
[8]p. 27, [8]p. 27
|
|
|
|
|
|
[18]p.9
|
|
|
|
|
|
[2]
|
|
|
|
|
|
|
|
,[19] , [16]p. 22, [16]p. 22, [20]
|
, , ,[21] [22]p. 26
|
[9]p. 878, [9]p. 878
|
,
|
|
|
|
|
|
[23]p.13
|
|
|
|
|
|
[24]
|
|
|
|
|
|
|
[14]: 7
|
|
|
|
|
|
|
[14]: 7
|
|
|
|
|
|
|
|
|
|
|
|
|
, [25]
|
[26]p.1167, [26]p.1167
|
|
|
|
|
|
[25]
|
[26]p.1167, [26]p.1167
|
|
|
|
|
|
|
|
[25]: 11
|
|
|
|
|
|
[27]p.233, [27]p.233
|
[28]p.276
|
[28]p.276
|
|
|
|
|
[27]p.233, [14]
|
[28]p.277
|
[28]p.277
|
|
|
|
|
[14]: 7
|
|
|
|
|
|
|
,[29] [14]: 7
|
|
|
|
|
|
|
[14]: 7
|
|
|
|
|
[3]
|
|
[8]p. 8
|
,[2] , [9]p. 869
|
|
|
|
|
|
[8]p. 31, [8]p. 31, [8]p. 31
|
|
|
|
|
|
|
[30]
|
|
|
|
|
|
|
[8]p. 33, [8]p. 33, [8]p. 33
|
|
|
|
|
[4]
|
, [22]p. 26, [22]p. 26, [22]p. 26, [22]p. 26, [22]p. 26
|
[22]p. 26, [22]p. 26
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,
|
|
|
|
|
|
[31]
|
|
|
|
|
|
|
|
[32]p. 14
|
|
|
|
|
|
|
[33]
|
|
|
|
|
|
|
[31]
|
|
|
|
|
|
|
[31]
|
|
|
|
|
[5]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,
|
|
|
|
|
|
[6]
|
|
|
|
|
|
|
, , [34]
|
|
,
|
|
|
|
|
|
, , ,, , [34]: 72
|
,[34]: 72 [34]: 72
|
, [34]: 72
|
|
|
|
|
, , [34]: 72
|
[34]: 72
|
|
|
|
|
|
, , [34]: 72
|
[34]: 72
|
|
|
|
|
|
, , [34]: 72
|
|
|
|
|
|
|
, , [34]: 72
|
, [34]: 72
|
|
|
|
|
|
, , [34]: 72
|
, [34]: 72
|
|
|
|
[7]
|
|
,
|
|
|
|
|
|
|
|
|
[35]: 38
|
|
|
[8]
|
|
|
|
|
|
|
[9]
|
|
|
|
|
|
|
[10]
|
|
|
|
|
|
|
[11]
|
|
|
|
|
|
|
[12]
|
|
|
[36]
|
|
|
|
[13]
|
|
|
|
|
|
|
[14]
|
|
|
|
|
|
|
[37]
|
|
|
|
|
|
|