{"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftech-blog.rei-frontier.jp%2Fentry%2F2017%2F11%2F16%2F100000\" title=\"ZFC\u516c\u7406\u7cfb\u306b\u3064\u3044\u3066\uff1a\u305d\u306e3 - 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>","image_url":null,"description":"\u30ec\u30a4\u30fb\u30d5\u30ed\u30f3\u30c6\u30a3\u30a2\u682a\u5f0f\u4f1a\u793e\u306e\u30c7\u30fc\u30bf\u30a2\u30ca\u30ea\u30b9\u30c8\u306e\u9f4b\u85e4\u3067\u3059\u3002 \u524d\u524d\u56de\u3001\u524d\u56de\u306b\u3064\u3065\u3044\u3066\u3001ZFC\u516c\u7406\u7cfb\u306e\u6b8b\u308a\u306e\u516c\u7406\u3092\u7d39\u4ecb\u3057\u3066\u3044\u304d\u307e\u3059\u3002 \u5199\u50cf\u3068\u9078\u629e\u516c\u7406 \u9806\u5e8f\u5bfe\u3001\u76f4\u7a4d \u5199\u50cf\u3001\u4e00\u822c\u306e\u76f4\u7a4d\u3001\u9078\u629e\u516c\u7406 \u9806\u5e8f\u6570\u3001ZFC\u516c\u7406\u7cfb \u9806\u5e8f\u95a2\u4fc2\u3068\u9806\u5e8f\u6570 \u6b63\u5247\u6027\u516c\u7406 \u7f6e\u63db\u516c\u7406 \u53c2\u8003\u6587\u732e \u5199\u50cf\u3068\u9078\u629e\u516c\u7406 \u9806\u5e8f\u5bfe\u3001\u76f4\u7a4d \u3075\u3060\u3093\u6163\u308c\u89aa\u3057\u3093\u3067\u3044\u308b\u6570\u5b66\u7684\u5bfe\u8c61\u3068\u3057\u3066\u3001\u81ea\u7136\u6570\u306a\u3069\u306e\u6570\u3060\u3051\u3067\u306f\u306a\u304f\u3001\u6570\u3068\u6570\u306e\u95a2\u4fc2\u3092\u5b9a\u3081\u308b\u95a2\u6570\uff08\u3042\u308b\u3044\u306f\u5199\u50cf\uff09\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u3053\u3067\u3001Zermelo-Fraenkel\u306e\u7acb\u5834\u304b\u3089\u95a2\u6570\u3092\u69cb\u6210\u3059\u308b\u3053\u3068\u3092\u8003\u3048\u3066\u307f\u307e\u3057\u3087\u3046\u3002 \u96c6\u5408\\(A\\)\u304b\u3089\u96c6\u5408\\(B\\)\u3078\u306e\u5199\u50cf\\(f \\colon A \\to B\\)\u3092\u96c6\u5408\u8ad6\u7684\u306b\u5b9a\u7fa9\u3059\u308b\u305f\u2026","title":"ZFC\u516c\u7406\u7cfb\u306b\u3064\u3044\u3066\uff1a\u305d\u306e3","author_url":"https://blog.hatena.ne.jp/reifrontier/","url":"https://tech-blog.rei-frontier.jp/entry/2017/11/16/100000","published":"2017-11-16 10:00:00","height":"190","width":"100%","blog_url":"https://tech-blog.rei-frontier.jp/","provider_url":"https://hatena.blog","blog_title":"Rei Frontier Tech Blog","author_name":"reifrontier","provider_name":"Hatena Blog","version":"1.0","type":"rich","categories":[]}