skolem定理 (3-3)

Bays, Timothy, 2007, "The Mathematics of Skolem's Paradox" in Jacquette,Dale(Ed.) Philosophy of Logic,pp.485-518.

McCarty, Charles and Tennant. Neil.1987."Skolem's Paradox and Constructivism", Journal of Philosophical Logic 16, 165-202.

杨睿之，2016，作为哲学的数理逻辑，复旦大学出版社

Bellotti,L.2006, “Skolem, the Skolem‘Paradox'and Informal Mathematics.”Theoria, 72:177-220.

Thomas, W., 1971, “On Behalf of the

Skolemite" Analysis,31:177-186.

Fine, A.,1968,“Quantification over the RealNumbers,” Philosophical Studies,19:27-31.

参考

1. (Benacerraf 1985; Wright 1985). See Tennant and McCarty 1987 for some objections to the latter view. Wright, C. 1985,“Skolem and the Skeptic,”Proceedings of the Aristotelian Society,59:

116-137.Tennant, N.and McCarty, C., 1987,“Skolem's Paradox and Constructivism,"The Journal of Philosophical Logic,16:165-202.

2. 在构造主义下，也推不出司寇伦定理

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。