{"published":"2007-12-16 00:00:01","author_name":"ytb","url":"https://ytb.hatenablog.com/entry/20071216/p1","categories":["logic"],"blog_url":"https://ytb.hatenablog.com/","blog_title":"\u3042\u3044\u307e\u3044\u306a\u672c\u65e5\u306e\u79c1 blog","title":" \u30e9\u30c3\u30bb\u30eb\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\uff1a\u50be\u5411\u3068\u5bfe\u7b56 (3.4.1.1): \u3000John Myhill\u306e \"Paradoxes\" (1)","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20071216%2Fp1\" title=\" \u30e9\u30c3\u30bb\u30eb\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\uff1a\u50be\u5411\u3068\u5bfe\u7b56 (3.4.1.1): \u3000John Myhill\u306e &quot;Paradoxes&quot; (1) - \u3042\u3044\u307e\u3044\u306a\u672c\u65e5\u306e\u79c1 blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","image_url":null,"type":"rich","width":"100%","version":"1.0","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/ytb/","provider_url":"https://hatena.blog","description":"\u7686\u69d8\u3001\u3044\u304b\u304c\u304a\u904e\u3054\u3057\u3067\u3057\u3087\u3046\u304b\u3002\u30e9\u30c3\u30bb\u30eb\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306b\u3064\u3044\u3066\u3001ZFC\u306a\u3069\u306e\u516c\u7406\u7684\u96c6\u5408\u8ad6\u4ee5\u5916\u306e\u89e3\u6c7a\u6cd5\u3092\u3044\u308d\u3044\u308d\u7d39\u4ecb\u3057\u3088\u3046\u3068\u3044\u3046\u3053\u306e\u30b7\u30ea\u30fc\u30ba\u3001\u7b2c\u4e09\u30b7\u30ea\u30fc\u30ba\u306f\u8ad6\u7406\u3092\u5236\u7d04\u3059\u308b\u3053\u3068\u3067\u30e9\u30c3\u30bb\u30eb\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u3092\u89e3\u6c7a\u3057\u3088\u3046\u3068\u3044\u3046\u65b9\u6cd5\u3092\u7d39\u4ecb\u3057\u3066\u3044\u307e\u3059\u3002\u524d\u56de\u3067\u591a\u5024\u8ad6\u7406\u3084\u7e2e\u7d04\u898f\u5247\u306e\u306a\u3044\u8ad6\u7406\u3068\u3044\u3063\u305f\u6bd4\u8f03\u7684\u30e1\u30b8\u30e3\u30fc\u306a\u89e3\u6c7a\u6cd5\u306e\u7d39\u4ecb\u3082\u7d42\u308f\u308a\u3001\u4eca\u56de\u304b\u3089\u306f\u3082\u3063\u3068\u30de\u30a4\u30ca\u30fc\u306a\uff08\u3068\u3044\u3046\u3068\u304a\u3053\u3089\u308c\u308b\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\uff09Fitch\u306b\u3088\u3063\u3066\u59cb\u3081\u3089\u308c\u305f\u8a3c\u660e\u56f3\u306e\u5f62\u306b\u6ce8\u76ee\u3059\u308b\u30a2\u30d7\u30ed\u30fc\u30c1\u306b\u3064\u3044\u3066\u3054\u7d39\u4ecb\u3057\u305f\u3044\u3068\u601d\u3044\u307e\u3059\u3002 \u3068\u3044\u3063\u3066\u3082\u3001\u4eca\u56de\u306f\u305d\u306e\u5c0e\u5165\u3068\u3044\u3046\u3053\u3068\u3067\u3001Fitch\u306e\u30a2\u30a4\u30c7\u30a3\u30a2\u3092 John Myhill \u304c\u767a\u5c55\u3055\u305b\u305f The \"enterpr\u2026"}