特殊篇章玄宇宙计划原文序列部分章 (10-3)

ˡ By independent questions we mean sentences ф of the first-order language of ZFC such that ZFC can prove neither ф nor ~ф.

　　Ⓒ2013, Assaciation fer Symbeic Lege1079-8986/13/1901-0003/$1.00

DOL:10.2178/bul.1901030

　　 77

　　This corscnl dowslonκhed Bom 143.207.2.50 on Tw 27 Aun 2013 1731.39 PM

All use subjoet to 1STUK Tens and Cae dons

　This cortcnt dowaleaded fom 143 207 2.50 ce Tas, 27 Aug 2013 17)1:39 PM

All wse ubyo lo ISTIEIesand CoalHens

4

78 TATIANA ARRIGONI AND SY-DAWID FRIEDMAN

to the question of the cardinality of the continuum,despite its probable

independence from ZFC. This conviction explicitly rests on a Platonistic view

of mathematics,according to which set-theoretical concepts and theorems

describe some well determined reality, “in which Cantor's conjecture must be

cither true or false,and its undecidability from the axioms as known today

can only mean that these axioms do not contain a complete description of

this reality”,([9].p.181).

When it comes to discussing proposals for new axioms, the point is made

in [9] that the candidates for new axioms should be justified,displaying

conformity to motivating principles more evident and persuasive than the

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