顾名思义,可以用来控制连续统假设的成立与否。
它可以以文字游戏的方式玩弄连续统假设。比如丨2^阿列夫9丨等于阿列夫1会被玩成9↑阿列夫2=阿列夫1(9和2调位,丨移到中间和^拼出高德纳箭头,后面的调到前面
幂集公理控制仪。
顾名思义,可以控制幂集公理的成立与否。
幂集公理被取消后,每一个阿列夫数就都相当于一个需要大基数公理才能断言其存在的“大基数”。人类已经断言存在的大基数换算进去大概在阿列夫二十几的样子。
而连带着的各种大基数、集宇宙、内模型、数学宇宙、类、真类、……等等也都会变。
都受制于幂集公理控制仪,幂集公理控制仪如若不是秋志迈造物比较特殊,仅仅只是幂集公理控制的话。被虚无碾杀。