ゲーデルのＬとコーエンの強制法

[@tamakinton]

集合論は外野からだととっつきにくいので、このような日本語の動画を作成して下さって大変助かっています。ありがとうございます。

[@tenapi]

必要十分かつコンパクトにまとまっていてよかったです。ただし、細かいことですが、モストフスキ崩壊の前提として、wellfoundedとset-likeのほかに、extensionalが必要かと。

[@fujidig]

その通りです。失念しておりました。

[@ilovetetris917]

高校生です。ここまでの議論を展開するためには、どこまで数学を研究すれば辿り着けますか？

[@fujidig]

大学の数学科で習う分野のうち集合・位相というものを学び、その後Kunenなどの標準的な公理的集合論の本を読めばたどり着けると思います。

[@ilovetetris917]

@@fujidig ありがとうございます

[@prulevking8506]

纯数大国

[@mogurofukuzo10]

数学論ですか…。数十秒で、アタマが爆発しました。