連続体仮説
https://ja.wikipedia.org/wiki/連続体仮説
https://hfuji.hatenablog.jp/entry/2019/01/12/161708
https://fuchino.ddo.jp/misc/goedel-universe.pdf
http://www.cs-study.com/koga/set/continuumHypothesis.html
対角線論法