第695章 伊卡洛斯，一飛沖天（數理內容較多，慎入） (第8/11頁)
大萌蛇提示您：看後求收藏（貓撲小說www.mpzw.tw），接着再看更方便。
公理I1，則是：Vλ+1到自身的非平凡基本嵌入；
公理I0，即是：存在LVλ+1的非平凡基本嵌入，其臨界點<λ公理。
l3、l2、l1、l0這幾大公理，皆具備着不盡相同的一致性強度。
那極限序數＞0的a -巨大基數和超巨大基數的一致性強度，則恰恰介於l3公理和I2公理之間。
而這幾個公理還存在有一個變體，此變體亦是一種大基數，即……伊卡洛斯基數。
所謂伊卡洛斯基數，便是……若存在一個LV_λ+1，lcuras非平凡基本嵌入，其臨界點低於λ，那麼伊卡洛斯存就在於V_λ+2-LV_λ+1。
爾後，若稱X是伊卡洛斯集，那麼當且僅當Vλ+2是X與Y的不交併，便可讓任意y∈Y。
同時，由於可證明j:Vλ+1，X∪{y}→Vλ+1，X∪{y}成立。
因此，j:Vλ+1，X→Vλ+1，X就是j:Vλ+2→Vλ+2之下，與選擇公理兼容的一致性最強的嵌入形式。
