{"provider_url":"https://hatena.blog","blog_title":"y_bonten's blog","height":"190","version":"1.0","width":"100%","author_name":"y_bonten","image_url":null,"published":"2022-12-08 11:02:31","provider_name":"Hatena Blog","categories":[],"blog_url":"https://y-bonten.hatenablog.com/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fy-bonten.hatenablog.com%2Fentry%2F2022%2F12%2F08%2F110231\" title=\"Suc-\u5e30\u7d0d\u6cd5\u3068\u7d2f\u7a4d\u5e30\u7d0d\u6cd5 - y_bonten&#39;s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","description":"Suc-\u5e30\u7d0d\u6cd5\uff1a\\[(P(0)\\wedge \\forall k[P(k)\\rightarrow P(k+1)])\\rightarrow\\forall n[P(n)]\\tag{1}\\] \u7d2f\u7a4d\u5e30\u7d0d\u6cd5\uff1a\\[\\forall n[\\forall m(1)\u21d2(2)\uff1a\u56f3\u5f0f(1)\u306e\u3082\u3068\u3001$\\forall n[\\forall m(2)\u21d2(1)\uff1a\u56f3\u5f0f(2)\u306e\u3082\u3068\u3001(\u30a2)$P(0)$\u304a\u3088\u3073(\u30a4)$\\forall k[P(k)\\rightarrow P(k+1)]$\u3092\u6e80\u305f\u3059\u4efb\u610f\u306e\u8ff0\u8a9e$P$\u3092\u3068\u308a\u3001$\\forall n[P(n)]$\u3092\u5c0e\u304f\u3002\u305d\u306e\u305f\u3081\u306b(\u30a6)$\\forall m\u25a0","type":"rich","title":"Suc-\u5e30\u7d0d\u6cd5\u3068\u7d2f\u7a4d\u5e30\u7d0d\u6cd5","author_url":"https://blog.hatena.ne.jp/y_bonten/","url":"https://y-bonten.hatenablog.com/entry/2022/12/08/110231"}