Harvey Friedman

系統弱得多的二階算術子系統來表達。這是哈維·弗里德曼（Harvey Friedman）在 20 世紀 80 年代初首次觀察到的，這是當時新興的逆向數學領域的早期成功。在上面的樹被認為是未標記的情況下（即，在 X X 有順序一），Friedman 發現結果在 ATR0（英語：算術超限遞歸）,[2]

theorem of Shelah（英语：Saharon Shelah） answers a question of H. Friedman（英语：Harvey Friedman）. 『一個人能否寫下一個具體的多項式p ∈ Z[x1,...x9]使得命題「存在著整數m1,...,m9 使得 p(m1

”而不是通常的方向(从公理到定理)。更精确一点，它试图通过找出证明所需的充分和必要的公理来评价一批常用数学结果的逻辑有效性。 该领域由Harvey Friedman在其文章“二阶算术系统及其应用（Some systems of second order arithmetic and their use）”中创立。它被Stephen

Babsen 飾 魯道夫·赫斯 Patricia Netzer 飾 蘇菲，葛立賀妻（Sophie Gerlich） Harvey Friedman（英语：Harvey Friedman (actor)） 飾 霍蘭德（Friedrich Hollaender（英语：Friedrich Hollaender））

Feferman Adolf Fraenkel（德國，1891年－1965年） 戈特洛布·弗雷格（德国，1848年－1925年） Harvey Friedman Sy Friedman L.T.F. Gamut（一群荷蘭邏輯學家的筆名） 格哈德·根岑（德国，1909年－1945年） Joseph Diaz