Rosser

在數論上，Rosser定理指的是第 n {\displaystyle n} 個質數會大於 n log ⁡ n {\displaystyle n\log n} ，其中 log {\displaystyle \log } 是自然對數函數。 這定理最早由J. Barkley Rosser於1939年發表。

柯里的工作重點試圖表明組合邏輯可以為數學提供一個基礎。 到了1933年底，他從與John Rosser的通信中了解到了Kleene-Rosser悖論。 由Rosser和Stephen Kleene開發的這個悖論證明了一些相關的形式系統的不一致性，包括由Alonzo

Chemistry. 1962, 27 (3): 1064–1066. doi:10.1021/jo01050a523.  Park, J. D.; Rosser, R. W.; Lacher, J. R. Preparation of Perfluoronitrosoalkanes. Reaction of

Samuelson, W. (1980). Economics. 11th ed. / New York: McGraw-Hill. p. 34 Rosser, Mariana V. and J Barkley Jr. Comparative Economics in a Transforming World

反过来，如果a=c和b=d，则顯然{{b},{a,b}} = {{d},{c,d}}。所以 (a,b)reverse = (c,d)reverse。 Rosser（1953年）扩展了蒯因的有序对定义。Quine-Rosser的定义要求自然数的先决定义。设 N {\displaystyle \mathbb {N} } 是自然数的集合， x