テンプレです
>うむ いま Terence Tao“big picture”として 宇宙の包含関係を考える
>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数で この順に大きくなり Vkなどはkを含む宇宙で 到達不能基数kもまた集合である
>・Voは、到達不能基数を全く含まない 通常基数の宇宙
>
>これより
>・Vk+1が無矛盾ならば それより左のVo、Vkが無矛盾（∵ 包含関係で Vo、Vkが矛盾なら Vk+1が矛盾を含むので 背理法成立）
>・κの存在証明が不可能は、良いだろう
>以上