The focus of Curry's work were attempts to show that combinatory logic could provide a foundation for mathematics.
柯里的工作重點試圖表明組合邏輯可以為數學提供一個基礎。