with the developments of set theory and of the program. Hence, within the
Hyperuniverse Program,Platonism is invoked neither with regard to V nor
with regard to the hyperuniverse. In fact,as intended by the program,for-
mulating de jure set-thcoretic truths is an autonomouslyregulated process.
No“external” constraint is imposed while cngaged in it, such as an already
existing reality to which one must be faithful. Instead,in searching for de
jure set-theoretic truths one is only expected to follow justifiable procedures
It cannot be excluded at the outset that at some time the need will arisc to
______
This assumption scems to lie behind Shelah's considerations in [18]. [19]as well as the
mutiverse vlew advocated by Hamkins in [11]. A critical appraisal of the former is given
in [1].
5 Th is cortcet deualbaded tam 141 207 2.50 ce Tai,27 Aug 2013 17 11:39 PM
All use subjod tois 1MIemand Caal lrs
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。