reifrontier https://blog.hatena.ne.jp/reifrontier/ Rei Frontier Tech Blog https://tech-blog.rei-frontier.jp/ レイ・フロンティア株式会社のデータアナリストの齋藤です。 前前回、前回につづいて、ZFC公理系の残りの公理を紹介していきます。 写像と選択公理 順序対、直積 写像、一般の直積、選択公理 順序数、ZFC公理系 順序関係と順序数 正則性公理 置換公理 参考文献 写像と選択公理 順序対、直積 ふだん慣れ親しんでいる数学的対象として、自然数などの数だけではなく、数と数の関係を定める関数（あるいは写像）があります。そこで、Zermelo-Fraenkelの立場から関数を構成することを考えてみましょう。 集合\(A\)から集合\(B\)への写像\(f \colon A \to B\)を集合論的に定義するた… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftech-blog.rei-frontier.jp%2Fentry%2F2017%2F11%2F16%2F100000" title="ZFC公理系について：その3 - Rei Frontier Tech Blog" 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 2017-11-16 10:00:00 rich https://tech-blog.rei-frontier.jp/entry/2017/11/16/100000 1.0 100%