azaika https://blog.hatena.ne.jp/azaika/ 進捗置き場というわけでもない場所 https://azaika.hateblo.jp/ この記事は TSG Advent Calendar 2020 の 19 日目の記事です。 昨日はイワシイラさんのヤフオクでサーバーを買うときの話でした。 序文 「集合論は現代の数学の基礎である」というのは大学数学に足を踏み入れた人の多くが一度は聞かされるセリフだと思います。一方でここで言われるような「集合論」は多くの場合暗黙に ZFC 公理系 (あるいは選択公理を抜いた ZF 公理系) を指していることが多いように見受けられます[要出典]。 この ZFC は素朴集合論で発生することの多いカントールのパラドックスなどを回避するために慎重に作られていますが、その代償として(？)「全ての集合からなる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fazaika.hateblo.jp%2Fentry%2F2020%2F12%2F19%2F123000" title="色々な集合論の公理系 - 進捗置き場というわけでもない場所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-12-19 12:30:00 rich https://azaika.hateblo.jp/entry/2020/12/19/123000 1.0 100%