second-order arithmetic

of second order arithmetic and their use）”中创立。它被Stephen G. Simpson和他的学生以及其他一些人所追随。Simpson写了关于该主题的参考教科书二阶算数的子系统(Subsystems of Second Order Arithmetic

Kruskal's tree theorem can be expressed and proven using second-order arithmetic（英语：second-order arithmetic）. However, like 古德斯坦定理 or the Paris–Harrington

Harvard University. 1889.  Buss, Samuel R. Chapter II: First-Order Proof Theory of Arithmetic. Buss, Samuel R. (编). Handbook of Proof Theory. New York: Elsevier

引文格式1维护：未识别语文类型 (link) Warren D. Goldfarb. The Undecidability of the Second-Order Unification Problem (PDF). Theoretical Computer Science. 1981, 13: 225–230

Nostran Reinholds Company (1964). Frege, Gottlob. The Foundations of Arithmetic. Evanston, IL: Northwestern University Press (1980). Martin, Brian. The