list below will lead to new axioms that both resolve independent questions
and are compatible with de facto set-theoretic truth. I.e., by following them
one is not sure at the outset that one will succeed in enlarging the realm
of truth in V beyond the sentences that are already accepted as definitive
in set theory. This is the result of the unbiased nature of the criteria for
preferred universes being used. However, it turns out that by selecting
THE HYPERUNIVERSE PROGRAM 87
universes according to our suggested criteria, one indeed obtains solutions to independent questions without conflicting with existing definitive truths of sct theory. That this de facto happens may be invoked as a relevant a posteriori argument (an argument from success) for the reasonableness of the strategy suggested by the Hyperuniversc Program.
§3. Criteria for preferred universes. Which universes are preferred in the Hyperuniverse Program?
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。