Foundations without Foundationalism —— A Case for Second-Order Logic

----- 没有基础主义的基础：二阶逻辑的一个案例

ISBN: 9780198250296 出版年：2003 页码：298 Shapiro, Stewart Clarendon Press

PART I: ORIENTATION Terms and questions Foundationalism and foundations of mathematics PART II: LOGIC AND MATHEMATICS Theory Metatheory Second-order logic and mathematics Advanced metatheory PART III: HISTORY AND PHILOSOPHY The historical triumph of first-order languages Second-order logic and rule-following The competition Index.