{"height":"190","published":"2020-12-08 00:00:00","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwelldefined99.hatenablog.com%2Fentry%2Fpigeonhole-advent-2020\" title=\"\u3042\u306a\u305f\u306e\u9ce9\u306e\u5de3\u539f\u7406\u306f\u3069\u3053\u304b\u3089\uff1f - \u540c\u4e0a\u3002\u306f\u3066\u306a\u652f\u90e8\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_url":"https://welldefined99.hatenablog.com/","provider_url":"https://hatena.blog","url":"https://welldefined99.hatenablog.com/entry/pigeonhole-advent-2020","image_url":null,"title":"\u3042\u306a\u305f\u306e\u9ce9\u306e\u5de3\u539f\u7406\u306f\u3069\u3053\u304b\u3089\uff1f","type":"rich","author_url":"https://blog.hatena.ne.jp/welldefineD99/","version":"1.0","categories":[],"width":"100%","provider_name":"Hatena Blog","author_name":"welldefineD99","blog_title":"\u540c\u4e0a\u3002\u306f\u3066\u306a\u652f\u90e8","description":"\u79c1\u306fZFC\u516c\u7406\u7cfb\u304b\u3089 \u3053\u306e\u8a18\u4e8b\u306f B4UT Advent Calendar 2020 12/8 \u306b\u767b\u9332\u3055\u308c\u3066\u3044\u307e\u3059\u3002 b4utmzi.wixsite.com \u306f\u3058\u3081\u306b \u7b2c1\u7ae0 ZFC\u516c\u7406\u7cfb \u00a71 \u57fa\u672c\u7684\u306a\u7d04\u675f \u00a72 ZFC\u306e\u516c\u7406 (1) \u5916\u5ef6\u6027\u516c\u7406(Extensionality) (2) \u524a\u9664 (3) \u7a7a\u96c6\u5408(Nullset) (4) \u5bfe(Pair) (5) \u5408\u4f75(Sum Set,Union) (6) \u3079\u304d\u96c6\u5408(Power Set) (7) \u7f6e\u63db\u516c\u7406(Replacement) (8) \u6b63\u5247\u6027\u516c\u7406(Regularity) (9) \u7121\u9650\u516c\u7406(Infinity) (10) \u9078\u629e\u516c\u7406(Axiom of\u2026"}