{"url":"https://randommemory.hatenablog.com/entry/2016/02/11/022047","author_name":"derwind","provider_name":"Hatena Blog","blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","version":"1.0","width":"100%","provider_url":"https://hatena.blog","blog_url":"https://randommemory.hatenablog.com/","title":"\u570f\u8ad6(28)\u3068\u5b87\u5b99\uff01\uff01","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F11%2F022047\" title=\"\u570f\u8ad6(28)\u3068\u5b87\u5b99\uff01\uff01 - \u3089\u3093\u3060\u3080\u306a\u8a18\u61b6\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","categories":["math-category"],"author_url":"https://blog.hatena.ne.jp/derwind/","description":"Grothendieck universe - Wikipedia, the free encyclopedia\u3092\u3082\u3046\u3061\u3087\u3063\u3068\u8aad\u3080\u3068\u3061\u3087\u3063\u3068\u6c17\u306b\u306a\u308b\u306a...\u3002 The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo-Fraenkel set theory; \u3068\u3044\u3046\u3053\u3068\u3067\u3001Zermelo-Fraenkel \u306e\u516c\u7406\u7cfb\u3060\u3051\u3067\u306fGrothendieck universe\u306b\u3088\u308b ``\u5c0f\u3055\u306a\u96c6\u5408'' \u3092\u4f7f\u3063\u305f\u570f\u306e\u5b9a\u7fa9\u306a\u3069\u304c\u3067\u304d\u305d\u3046\u306b\u898b\u3048\u306a\u3044\u3002 most set theories \u2026","type":"rich","published":"2016-02-11 02:20:47","image_url":null,"height":"190"}