せっかくtexを使えることが判明したので数学の話を書きます。 めっちゃ長くなっちゃったので分割して投稿しよう。 (追記)ZFCの無矛盾性は仮定します (追記2,2016/10/26)各定義をまとめました 順序数と基数の話 - 尊みで飯が食える 特異基数問題と呼ばれるも…