welldefineD99 https://blog.hatena.ne.jp/welldefineD99/ 同上。はてな支部 https://welldefined99.hatenablog.com/ 私はZFC公理系から この記事は B4UT Advent Calendar 2020 12/8 に登録されています。 b4utmzi.wixsite.com はじめに 第1章 ZFC公理系 §1 基本的な約束 §2 ZFCの公理 (1) 外延性公理(Extensionality) (2) 削除 (3) 空集合(Nullset) (4) 対(Pair) (5) 合併(Sum Set,Union) (6) べき集合(Power Set) (7) 置換公理(Replacement) (8) 正則性公理(Regularity) (9) 無限公理(Infinity) (10) 選択公理(Axiom of… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwelldefined99.hatenablog.com%2Fentry%2Fpigeonhole-advent-2020" 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-08 00:00:00 rich https://welldefined99.hatenablog.com/entry/pigeonhole-advent-2020 1.0 100%