{"id":9291,"date":"2025-10-17T20:25:39","date_gmt":"2025-10-17T11:25:39","guid":{"rendered":"https:\/\/sasamath.com\/blog\/?page_id=9291"},"modified":"2026-09-27T12:35:41","modified_gmt":"2026-09-27T03:35:41","slug":"ch18-peano-arithmetics","status":"publish","type":"page","link":"https:\/\/sasamath.com\/blog\/invitation-to-mathematical-logic\/ch18-peano-arithmetics\/","title":{"rendered":"\ud398\uc544\ub178 \uc0b0\uc220"},"content":{"rendered":"
<\/p>\n

20\uc138\uae30 \ucd08 \ud790\ubca0\ub974\ud2b8\ub294 \uc218\ud559\uc744 \ud6a8\uacfc\uc801\uc73c\ub85c \uc8fc\uc5b4\uc9c4 \ubb34\ubaa8\uc21c \uacf5\ub9ac\uacc4 \uc704\uc5d0 \uc138\uc6b0\uace0, \uadf8 \uacf5\ub9ac\uacc4 \uc548\uc5d0\uc11c \ubaa8\ub4e0 \uc218\ud559\uc801 \uba85\uc81c\ub97c \uacb0\uc815\ud560 \uc218 \uc788\uae30\ub97c \uae30\ub300\ud558\uc600\ub2e4. \uadf8\ub7ec\ub098 \uad34\ub378\uc758 \ubd88\uc644\uc804\uc131 \uc815\ub9ac\ub294 \uc790\uc5f0\uc218\uc758 \uae30\ubcf8 \uc0b0\uc220\uc744 \ucda9\ubd84\ud788 \ud45c\ud604\ud560 \uc218 \uc788\ub294 \ud6a8\uacfc\uc801\uc778 \ud615\uc2dd \uccb4\uacc4\uc5d0\ub294 \ubcf8\uc9c8\uc801\uc778 \ud55c\uacc4\uac00 \uc788\uc74c\uc744 \ubcf4\uc5ec\uc900\ub2e4.<\/p>\n

\uc774 \ubd80\uc5d0\uc11c\ub294 \uba3c\uc800 \uc77c\uacc4\ub17c\ub9ac\uc758 \uc774\ub860\uc744 \uc0ac\uc6a9\ud558\uc5ec \ud398\uc544\ub178 \uc0b0\uc220\uc744 \uc815\uc758\ud558\uace0, \ucf64\ud329\ud2b8\uc131\uc744 \uc0ac\uc6a9\ud558\uc5ec \ube44\ud45c\uc900 \ubaa8\ud615\uc774 \uc0dd\uae30\ub294 \uc774\uc720\ub97c \uc0b4\ud3b4\ubcf8\ub2e4. \uc774\uc5b4\uc11c \uad34\ub378 \uc218\ub9e4\uae40, \uc0b0\uc220\ud654, \ub300\uac01\ud654 \ubcf4\uc870\uc815\ub9ac\ub97c \ubc14\ud0d5\uc73c\ub85c \uc790\uae30\ucc38\uc870\ub97c \ud615\uc2dd\ud654\ud558\uace0, \ubd88\uc644\uc804\uc131 \uc815\ub9ac\uc758 \ud575\uc2ec \ub17c\uc99d\uc744 \uc124\uba85\ud55c\ub2e4.<\/p>\n

<\/p>\n

\uc55e\uc5d0\uc11c \uc77c\uacc4\ub17c\ub9ac\uc758 \uac74\uc804\uc131\uacfc \uc644\uc804\uc131\uc744 \ub2e4\ub8e8\uc5c8\uc9c0\ub9cc, \uc5ec\uae30\uc11c \ub9d0\ud558\ub294 \u201c\uc774\ub860\uc758 \uc644\uc804\uc131\u201d\uc740 \uadf8 \uc644\uc804\uc131 \uc815\ub9ac\uc640 \uad6c\ubcc4\ud574\uc57c \ud55c\ub2e4.<\/p>\n

\n

\uc815\uc758 18.1. (\uc644\uc804\ud55c \uc774\ub860)<\/span><\/p>\n

\ub9cc\uc871 \uac00\ub2a5\ud55c \uc77c\uacc4\ub17c\ub9ac \ubb38\uc7a5 \uc9d1\ud569 \\(T\\)\uac00 \uc644\uc804\ud558\ub2e4<\/span>(complete)\ub294 \uac83\uc740 \uc784\uc758\uc758 \ubb38\uc7a5 \\(\\sigma\\)\uc5d0 \ub300\ud558\uc5ec
\n\\[
\nT\\models\\sigma
\n\\quad\\text{\ub610\ub294}\\quad
\nT\\models\\neg\\sigma
\n\\]
\n\uac00 \uc131\ub9bd\ud55c\ub2e4\ub294 \ub73b\uc774\ub2e4. \uc815\ub9ac 16.7\uc758 \uc77c\uacc4\ub17c\ub9ac \uc644\uc804\uc131 \uc815\ub9ac<\/a>\uc5d0 \uc758\ud574 \uc774\ub294
\n\\[
\nT\\vdash\\sigma
\n\\quad\\text{\ub610\ub294}\\quad
\nT\\vdash\\neg\\sigma
\n\\]
\n\uc640 \ub3d9\uce58\uc774\ub2e4.<\/p>\n<\/div>\n

\ud55c \uad6c\uc870 \\(\\mathcal M\\)\uc758 \uc774\ub860 \\(\\operatorname{Th}(\\mathcal M)\\)\uc740 \uc815\uc758 15.6<\/a>\uc5d0\uc11c \ub3c4\uc785\ud558\uc600\ub2e4. \uc784\uc758\uc758 \ubb38\uc7a5 \\(\\sigma\\)\ub294 \\(\\mathcal M\\)\uc5d0\uc11c \ucc38\uc774\uac70\ub098 \uac70\uc9d3\uc774\ubbc0\ub85c \\(\\operatorname{Th}(\\mathcal M)\\)\uc740 \uc644\uc804\ud55c \uc774\ub860\uc774\ub2e4.<\/p>\n

\uc644\uc804\uc131\uc740 \ubaa8\ud615\uc758 \ub3d9\ud615 \uc720\uc77c\uc131\uacfc\ub294 \ub2e4\ub978 \uac1c\ub150\uc774\ub2e4. \uc644\uc804\ud55c \uc774\ub860\uc758 \ubaa8\ub4e0 \ubaa8\ud615\uc740 \uac19\uc740 \uc77c\uacc4\ub17c\ub9ac \ubb38\uc7a5\ub4e4\uc744 \ub9cc\uc871\uc2dc\ud0a4\uc9c0\ub9cc \uc11c\ub85c \ub3d9\ud615\uc77c \ud544\uc694\ub294 \uc5c6\ub2e4. \ub450 \uad6c\uc870\uac00 \uac19\uc740 \uc77c\uacc4\ub17c\ub9ac \ubb38\uc7a5\ub4e4\uc744 \ub9cc\uc871\uc2dc\ud0ac \ub54c \u201c\ub450 \uad6c\uc870\uac00 \ucd08\ub4f1\ub3d9\uce58<\/span>(elementarily equivalent)\uc774\ub2e4\u201d\ub77c\uace0 \ud45c\ud604\ud55c\ub2e4. \ub530\ub77c\uc11c \uc644\uc804\ud55c \uc774\ub860\uc758 \uc784\uc758\uc758 \ub450 \ubaa8\ud615\uc740 \ucd08\ub4f1\ub3d9\uce58\uc774\ub2e4.<\/p>\n

\uc774\uc81c 17\uc7a5<\/a>\uc758 \uacb0\uacfc\ub97c \uc790\uc5f0\uc218\uc5d0 \uc801\uc6a9\ud55c\ub2e4. \\(\\omega=\\mathbb N\\)\uc740 6\uc7a5<\/a>\uc5d0\uc11c \uad6c\uc131\ud55c \uc790\uc5f0\uc218 \uc9d1\ud569\uc774\uba70, 9\uc7a5<\/a>\uc758 \ubb34\ud55c \uacf5\ub9ac\ub294 \uadf8 \uc9d1\ud569\ub860\uc801 \uc874\uc7ac\ub97c \uc815\ub2f9\ud654\ud55c\ub2e4. \ud45c\uc900 \uc0b0\uc220 \uad6c\uc870\ub97c
\n\\[
\n\\mathcal N=(\\omega,0,s,+,\\cdot)
\n\\]
\n\ub85c \ub098\ud0c0\ub0b4\uc790. \uc5ec\uae30\uc11c \\(s(n)=n+1\\)\uc774\ub2e4.<\/p>\n

\ud398\uc544\ub178 \uc0b0\uc220\uc758 \uacf5\ub9ac<\/h3>\n

\uc0b0\uc220\uc758 \uc5b8\uc5b4\ub97c
\n\\[
\n\\mathcal L_{\\mathrm{PA}}=\\{0,s,+,\\cdot\\}
\n\\]
\n\ub85c \ub454\ub2e4. \ub4f1\ud638\ub294 \uc77c\uacc4\ub17c\ub9ac \uc790\uccb4\uc758 \ub17c\ub9ac\uae30\ud638\uc774\ub2e4. \\(\\overline n=s^n(0)\\)\uc744 \uc790\uc5f0\uc218 \\(n\\)\uc744 \ub098\ud0c0\ub0b4\ub294 \uc218\uc0ac<\/span>(numeral)\ub77c\uace0 \ud558\uc790.<\/p>\n

\uacf5\ub9ac\ud2c0\uc740 \uc77c\uacf1 \uac1c\ub85c \uc774\ub8e8\uc5b4\uc838 \uc788\ub2e4. \uadf8 \uc911 \ucc98\uc74c \uc5ec\uc12f \uac1c\ub294 \ub2e4\uc74c\uacfc \uac19\ub2e4.<\/p>\n

  (P1) \\((\\forall x)\\neg(s(x)=0)\\)
\n  (P2) \\((\\forall x)(\\forall y)(s(x)=s(y)\\to x=y)\\)
\n  (P3) \\((\\forall x)(x+0=x)\\)
\n  (P4) \\((\\forall x)(\\forall y)(x+s(y)=s(x+y))\\)
\n  (P5) \\((\\forall x)(x\\cdot0=0)\\)
\n  (P6) \\((\\forall x)(\\forall y)(x\\cdot s(y)=x\\cdot y+x)\\)<\/p>\n

\ub9c8\uc9c0\ub9c9\uc73c\ub85c \uadc0\ub0a9 \uacf5\ub9ac\ud2c0\uc744 \ucd94\uac00\ud558\uc790. \\(\\phi(x,\\vec y)\\)\uac00 \\(\\mathcal L_{\\mathrm{PA}}\\)-\ub17c\ub9ac\uc2dd\uc774\uace0 \\(x\\)\uac00 \uadc0\ub0a9\ud560 \ubcc0\uc218\ub77c\uace0 \ud558\uc790. \ub2e4\uc74c \uc2dd\uc758 \ubaa8\ub4e0 \uc790\uc720\ubcc0\uc218 \\(\\vec y\\)\ub97c \uc804\uce6d \ud55c\uc815\ud55c \ubb38\uc7a5\uc744 \uacf5\ub9ac\ub85c \uc0bc\ub294\ub2e4.<\/p>\n

  (P7)
\n\\[
\n\\bigl(\\phi(0,\\vec y)\\wedge
\n(\\forall x)(\\phi(x,\\vec y)\\to\\phi(s(x),\\vec y))\\bigr)
\n\\to
\n(\\forall x)\\phi(x,\\vec y).
\n\\]<\/p>\n

\uc5ec\uae30\uc11c \\(\\phi(0,\\vec y)\\)\uc640 \\(\\phi(s(x),\\vec y)\\)\ub294 \uc815\uc758 14.5<\/a>\uc758 \uc790\uc720\ub85c\uc6b4 \ub300\uc785\uc73c\ub85c \uc774\ud574\ud55c\ub2e4.<\/p>\n

\n

\uc815\uc758 18.2. (\ud398\uc544\ub178 \uc0b0\uc220)<\/span><\/p>\n

(P1)\u2013(P6)\uacfc \uadc0\ub0a9 \uacf5\ub9ac\ud2c0 (P7)\ub85c \uc774\ub8e8\uc5b4\uc9c4 \\(\\mathcal L_{\\mathrm{PA}}\\)-\uc774\ub860\uc744 \ud398\uc544\ub178 \uc0b0\uc220<\/span>(Peano arithmetic)\uc774\ub77c \ud558\uace0 \\(\\mathrm{PA}\\)\ub85c \ub098\ud0c0\ub0b8\ub2e4.<\/p>\n<\/div>\n

\ud45c\uc900 \uad6c\uc870 \\(\\mathcal N\\)\uc740 \\(\\mathrm{PA}\\)\uc758 \ubaa8\ub4e0 \uacf5\ub9ac\ub97c \ub9cc\uc871\uc2dc\ud0a8\ub2e4. \uadf8\ub7ec\ub098 \\(\\mathrm{PA}\\)\uc758 \ubaa8\ud615\uc774 \\(\\mathcal N\\) \ud558\ub098\ubfd0\uc778 \uac83\uc740 \uc544\ub2c8\ub2e4.<\/p>\n

\n

\uc815\ub9ac 18.3. (\ud398\uc544\ub178 \uc0b0\uc220\uc758 \ube44\ud45c\uc900 \ubaa8\ud615)<\/span><\/p>\n

\\(\\mathrm{PA}\\)\ub294 \\(\\mathcal N\\)\uacfc \ub3d9\ud615\uc774 \uc544\ub2cc \uac00\uc0b0\ubb34\ud55c \ubaa8\ud615\uc744 \uac00\uc9c4\ub2e4. \ub354 \ub098\uc544\uac00 \uc644\uc804\ud55c \uc774\ub860 \\(\\operatorname{Th}(\\mathcal N)\\)\ub3c4 \\(\\mathcal N\\)\uacfc \ub3d9\ud615\uc774 \uc544\ub2cc \uac00\uc0b0\ubb34\ud55c \ubaa8\ud615\uc744 \uac00\uc9c4\ub2e4.<\/p>\n<\/div>\n

\n

\uc99d\uba85<\/span>
\n\uc5b8\uc5b4\uc5d0 \uc0c8 \uc0c1\uc218\uae30\ud638 \\(c\\)\ub97c \ucd94\uac00\ud558\uace0
\n\\[
\nT=\\operatorname{Th}(\\mathcal N)
\n\\cup
\n\\{c\\ne\\overline n\\mid n\\in\\mathbb N\\}
\n\\]
\n\uc73c\ub85c \ub454\ub2e4. \\(T\\)\uc758 \uc784\uc758\uc758 \uc720\ud55c\ubd80\ubd84\uc9d1\ud569\uc5d0\ub294 \\(c\\ne\\overline n\\) \uaf34\uc758 \ubb38\uc7a5\uc774 \uc720\ud55c \uac1c\ub9cc \ub098\ud0c0\ub09c\ub2e4. \\(c\\)\ub97c \uadf8 \uc218\uc0ac\ub4e4\uacfc \ub2e4\ub978 \ucda9\ubd84\ud788 \ud070 \uc790\uc5f0\uc218\ub85c \ud574\uc11d\ud558\uba74 \\(\\mathcal N\\)\uc758 \ud655\uc7a5\uc774 \uadf8 \uc720\ud55c\ubd80\ubd84\uc9d1\ud569\uc744 \ub9cc\uc871\uc2dc\ud0a8\ub2e4. \ub530\ub77c\uc11c \uc815\ub9ac 17.1\uc758 \uc77c\uacc4\ub17c\ub9ac \ucf64\ud329\ud2b8\uc131<\/a>\uc5d0 \uc758\ud574 \\(T\\)\ub294 \ubaa8\ud615 \\(\\mathcal M\\)\uc744 \uac00\uc9c4\ub2e4.<\/p>\n

\\(\\mathcal M\\)\uc5d0\uc11c \\(c^{\\mathcal M}\\)\uc740 \uc5b4\ub290 \ud45c\uc900 \uc218\uc0ac \\(\\overline n\\)\uc758 \uac12\uacfc\ub3c4 \uac19\uc9c0 \uc54a\ub2e4. \ub530\ub77c\uc11c \\(\\mathcal M\\)\uc758 \\(\\mathcal L_{\\mathrm{PA}}\\)-\ucd95\uc18c\ub294 \\(\\mathcal N\\)\uacfc \ub3d9\ud615\uc77c \uc218 \uc5c6\ub2e4.<\/p>\n

\uc5b8\uc5b4\uac00 \uac00\uc0b0\uc774\ubbc0\ub85c \\(T\\)\uc5d0 \uc815\ub9ac 17.3\uc758 \uac00\uc0b0 \ubaa8\ud615 \uc815\ub9ac<\/a>\ub97c \uc801\uc6a9\ud558\uc5ec \\(T\\)\uc758 \uac00\uc0b0\ubb34\ud55c \ubaa8\ud615\uc744 \uc5bb\uc744 \uc218 \uc788\ub2e4. \uadf8\ub7f0\ub370 \\(\\mathcal L_{\\mathrm{PA}}\\)-\ucd95\uc18c\ub294 \\(\\mathcal N\\)\uacfc \ub3d9\ud615\uc774 \uc544\ub2cc \\(\\operatorname{Th}(\\mathcal N)\\)\uc758 \uac00\uc0b0\ubb34\ud55c \ubaa8\ud615\uc774\ub2e4. \ub610\ud55c
\n\\[
\n\\mathrm{PA}\\subseteq\\operatorname{Th}(\\mathcal N)
\n\\]
\n\uc774\ubbc0\ub85c, \uc774 \ucd95\uc18c\ub294 \ub3d9\uc2dc\uc5d0 \\(\\mathrm{PA}\\)\uc758 \uac00\uc0b0\ubb34\ud55c \ube44\ud45c\uc900 \ubaa8\ud615\uc774\ub2e4.<\/span><\/p>\n<\/div>\n

\ub530\ub77c\uc11c \u201c\uc644\uc804\ud55c \uc774\ub860\u201d\uacfc \u201c\ubaa8\ud615\uc744 \ub3d9\ud615\uae4c\uc9c0 \uc720\uc77c\ud558\uac8c \uacb0\uc815\ud558\ub294 \uc774\ub860\u201d\uc740 \uc804\ud600 \ub2e4\ub978 \uac1c\ub150\uc774\ub2e4. \uc2e4\uc81c\ub85c \\(\\operatorname{Th}(\\mathcal N)\\)\uc740 \uc644\uc804\ud558\uc9c0\ub9cc \ube44\ud45c\uc900 \ubaa8\ud615\uc744 \uac00\uc9c4\ub2e4. \ubc18\uba74 \\(\\mathrm{PA}\\)\ub294 \uacf5\ub9ac \uc5ec\ubd80\ub97c \uae30\uacc4\uc801\uc73c\ub85c \ud310\uc815\ud560 \uc218 \uc788\ub294 \ud6a8\uacfc\uc801\uc778 \uacf5\ub9ac\uacc4\uc774\uc9c0\ub9cc, \ub2e4\uc74c \uc7a5\uc5d0\uc11c \ubcf4\ub4ef \ubb34\ubaa8\uc21c\uc774\ub77c\uba74 \uc644\uc804\ud558\uc9c0 \uc54a\ub2e4.<\/p>\n

\n

\ubb38\uc81c 18.1.<\/span>
\n\ub2e4\uc74c \ubb3c\uc74c\uc5d0 \ub2f5\ud558\uc2dc\uc624.<\/p>\n

    \n
  1. \uc784\uc758\uc758 \uad6c\uc870 \\(\\mathcal M\\)\uc5d0 \ub300\ud558\uc5ec \\(\\operatorname{Th}(\\mathcal M)\\)\uc740 \uc644\uc804\ud55c \uc774\ub860\uc784\uc744 \ubcf4\uc774\uc2dc\uc624.<\/li>\n
  2. \ub9cc\uc871 \uac00\ub2a5\ud55c \uc774\ub860 \\(T\\)\uc758 \uc784\uc758\uc758 \ub450 \ubaa8\ud615\uc774 \ucd08\ub4f1\ub3d9\uce58\uc774\uba74 \\(T\\)\uac00 \uc644\uc804\ud568\uc744 \ubcf4\uc774\uc2dc\uc624.<\/li>\n
  3. \\(\\operatorname{Th}(\\mathcal N)\\)\uc744 \uc774\uc6a9\ud558\uc5ec \uc644\uc804\ud55c \uc774\ub860\uc774 \ubc18\ub4dc\uc2dc \ubaa8\ud615\uc744 \ub3d9\ud615\uae4c\uc9c0 \uc720\uc77c\ud558\uac8c \uacb0\uc815\ud558\uc9c0\ub294 \uc54a\uc74c\uc744 \uc124\uba85\ud558\uc2dc\uc624.<\/li>\n<\/ol>\n<\/div>\n
    \n

    \ubb38\uc81c 18.2.<\/span>
    \n\\(\\mathcal M\\models\\mathrm{PA}\\)\ub77c\uace0 \ud558\uc790.<\/p>\n

      \n
    1. \\(\\overline0,\\overline1,\\overline2,\\overline3,\\overline4\\)\ub97c \\(0\\)\uacfc \\(s\\)\ub9cc\uc744 \uc0ac\uc6a9\ud558\uc5ec \uc4f0\uc2dc\uc624.<\/li>\n
    2. \uacf5\ub9ac (P1), (P2)\ub9cc\uc744 \uc0ac\uc6a9\ud558\uc5ec
      \n\\[
      \n\\overline0^{\\mathcal M},\\overline1^{\\mathcal M},\\ldots,\\overline4^{\\mathcal M}
      \n\\]
      \n\uc774 \uc11c\ub85c \ub2e4\ub978 \uc6d0\uc18c\uc784\uc744 \ubcf4\uc774\uc2dc\uc624.<\/li>\n
    3. \uac19\uc740 \ub17c\uc99d\uc744 \uc77c\ubc18\ud654\ud558\uc5ec \\(m\\ne n\\)\uc774\uba74
      \n\\[
      \n\\overline m^{\\mathcal M}\\ne\\overline n^{\\mathcal M}
      \n\\]
      \n\uc784\uc744 \uc124\uba85\ud558\uc2dc\uc624.<\/li>\n<\/ol>\n<\/div>\n
      \n

      \ubb38\uc81c 18.3.<\/span>
      \n\uc5b8\uc5b4\uc5d0 \uc0c8 \uc0c1\uc218\uae30\ud638 \\(c\\)\ub97c \ucd94\uac00\ud558\uace0
      \n\\[
      \nT=\\operatorname{Th}(\\mathcal N)
      \n\\cup\\{c\\ne\\overline n\\mid n\\in\\mathbb N\\}
      \n\\]
      \n\uc73c\ub85c \ub450\uc790.<\/p>\n

        \n
      1. \\(k\\in\\mathbb N\\)\uc5d0 \ub300\ud558\uc5ec
        \n\\[
        \n\\operatorname{Th}(\\mathcal N)\\cup
        \n\\{c\\ne\\overline0,\\ldots,c\\ne\\overline k\\}
        \n\\]
        \n\uc758 \ubaa8\ud615\uc744 \\(\\mathcal N\\)\uc5d0\uc11c \uc9c1\uc811 \ub9cc\ub4dc\uc2dc\uc624.<\/li>\n
      2. \\(T\\)\uc758 \uc784\uc758\uc758 \uc720\ud55c\ubd80\ubd84\uc9d1\ud569\uc774 \ub9cc\uc871 \uac00\ub2a5\ud568\uc744 \uc124\uba85\ud558\uc2dc\uc624.<\/li>\n
      3. \ucf64\ud329\ud2b8\uc131 \uc815\ub9ac\ub97c \uc801\uc6a9\ud558\uc5ec \\(T\\)\uc758 \ubaa8\ud615 \\(\\mathcal M\\)\uc774 \uc874\uc7ac\ud568\uc744 \ubcf4\uc774\uace0, \\(c^{\\mathcal M}\\)\uc774 \uc5b4\ub290 \ud45c\uc900 \uc218\uc0ac\uc758 \uac12\uacfc\ub3c4 \uac19\uc9c0 \uc54a\uc74c\uc744 \uc124\uba85\ud558\uc2dc\uc624.<\/li>\n
      4. \uc774 \uc0ac\uc2e4\uc774 \uc65c \\(\\mathcal M\\)\uc758 \\(\\mathcal L_{\\mathrm{PA}}\\)-\ucd95\uc18c\uac00 \\(\\mathcal N\\)\uacfc \ub3d9\ud615\uc774 \uc544\ub2d8\uc744 \ub73b\ud558\ub294\uc9c0 \uc124\uba85\ud558\uc2dc\uc624.<\/li>\n<\/ol>\n<\/div>\n
        \n

        \ubb38\uc81c 18.4.<\/span>
        \n\uad6c\uc870 \\(\\mathcal M\\)\uc774 \uacf5\ub9ac (P1), (P2)\ub97c \ub9cc\uc871\uc2dc\ud0a8\ub2e4\uace0 \ud558\uc790. \\(\\mathcal M\\)\uc758 \uc601\uc5ed\uc774 \ubb34\ud55c\uc9d1\ud569\uc784\uc744 \uc99d\uba85\ud558\uc2dc\uc624. (\uc720\ud55c\uc9d1\ud569\uc5d0\uc11c \uc790\uae30 \uc790\uc2e0\uc73c\ub85c \uac00\ub294 \uc77c\ub300\uc77c\ud568\uc218\uac00 \uc804\uc0ac\ud568\uc218\ub77c\ub294 \uc131\uc9c8\uc744 \ud65c\uc6a9\ud55c\ub2e4.)<\/p>\n<\/div>\n

        \n

        \uc9d1\ud569\uacfc \uc218\ub9ac\ub17c\ub9ac \uccab\uac78\uc74c \ubaa9\ucc28 \ubcf4\uae30<\/a><\/p>\n

        \uba85\uc81c\uc640 \ub17c\ub9ac<\/a><\/span>
        \n        \uc9d1\ud569\uc758 \uac1c\ub150<\/a><\/span>
        \n        \ub2e4\uc591\ud55c \uc9d1\ud569\uc758 \uc5f0\uc0b0<\/a><\/span>
        \n        \uad00\uacc4\uc640 \ud568\uc218<\/a><\/span>
        \n        \uc720\ud55c\uc9d1\ud569\uacfc \ubb34\ud55c\uc9d1\ud569<\/a><\/span>
        \n        \uc790\uc5f0\uc218<\/a><\/span>
        \n        \uc9d1\ud569\uc758 \uae30\uc218<\/a><\/span>
        \n        \uc9d1\ud569\uc758 \uc11c\uc218<\/a><\/span>
        \n        \uc9d1\ud569\ub860\uc758 \uacf5\ub9ac<\/a><\/span>
        \n        \uc120\ud0dd \uacf5\ub9ac<\/a><\/span>
        \n        \ud615\uc2dd\ub17c\ub9ac<\/a><\/span>
        \n        \uba85\uc81c\ub17c\ub9ac\uc758 \uac1c\ub150<\/a><\/span>
        \n        \uba85\uc81c\ub17c\ub9ac\uc758 \uac74\uc804\uc131\uacfc \uc644\uc804\uc131<\/a><\/span>
        \n        \uc77c\uacc4\ub17c\ub9ac\uc758 \uad6c\ubb38\ub860<\/a><\/span>
        \n        \uc77c\uacc4\ub17c\ub9ac\uc758 \uc758\ubbf8\ub860<\/a><\/span>
        \n        \uc77c\uacc4\ub17c\ub9ac\uc758 \ucd94\ub860\uaddc\uce59<\/a><\/span>
        \n        \uc77c\uacc4\ub17c\ub9ac\uc758 \ucf64\ud329\ud2b8\uc131<\/a><\/span>
        \n        \ud398\uc544\ub178 \uc0b0\uc220<\/a><\/span>
        \n        \ubd88\uc644\uc804\uc131 \uc815\ub9ac<\/a><\/span>\n<\/div>\n<\/div>\n

        <\/p>\n","protected":false},"excerpt":{"rendered":"

        20\uc138\uae30 \ucd08 \ud790\ubca0\ub974\ud2b8\ub294 \uc218\ud559\uc744 \ud6a8\uacfc\uc801\uc73c\ub85c \uc8fc\uc5b4\uc9c4 \ubb34\ubaa8\uc21c \uacf5\ub9ac\uacc4 \uc704\uc5d0 \uc138\uc6b0\uace0, \uadf8 \uacf5\ub9ac\uacc4 \uc548\uc5d0\uc11c \ubaa8\ub4e0 \uc218\ud559\uc801 \uba85\uc81c\ub97c \uacb0\uc815\ud560 \uc218 \uc788\uae30\ub97c \uae30\ub300\ud558\uc600\ub2e4. \uadf8\ub7ec\ub098 \uad34\ub378\uc758 \ubd88\uc644\uc804\uc131 \uc815\ub9ac\ub294 \uc790\uc5f0\uc218\uc758 \uae30\ubcf8 \uc0b0\uc220\uc744 \ucda9\ubd84\ud788 \ud45c\ud604\ud560 \uc218 \uc788\ub294 \ud6a8\uacfc\uc801\uc778 \ud615\uc2dd \uccb4\uacc4\uc5d0\ub294 \ubcf8\uc9c8\uc801\uc778 \ud55c\uacc4\uac00 \uc788\uc74c\uc744 \ubcf4\uc5ec\uc900\ub2e4. \uc774 \ubd80\uc5d0\uc11c\ub294 \uba3c\uc800 \uc77c\uacc4\ub17c\ub9ac\uc758 \uc774\ub860\uc744 \uc0ac\uc6a9\ud558\uc5ec \ud398\uc544\ub178 \uc0b0\uc220\uc744 \uc815\uc758\ud558\uace0, \ucf64\ud329\ud2b8\uc131\uc744 \uc0ac\uc6a9\ud558\uc5ec \ube44\ud45c\uc900 \ubaa8\ud615\uc774 \uc0dd\uae30\ub294 \uc774\uc720\ub97c \uc0b4\ud3b4\ubcf8\ub2e4. \uc774\uc5b4\uc11c \uad34\ub378 \uc218\ub9e4\uae40, \uc0b0\uc220\ud654, \ub300\uac01\ud654 \ubcf4\uc870\uc815\ub9ac\ub97c \ubc14\ud0d5\uc73c\ub85c \uc790\uae30\ucc38\uc870\ub97c \ud615\uc2dd\ud654\ud558\uace0, \ubd88\uc644\uc804\uc131…<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":9246,"menu_order":118,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_lmt_disableupdate":"no","_lmt_disable":"","footnotes":""},"class_list":["post-9291","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9291","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/comments?post=9291"}],"version-history":[{"count":10,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9291\/revisions"}],"predecessor-version":[{"id":10098,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9291\/revisions\/10098"}],"up":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9246"}],"wp:attachment":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/media?parent=9291"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}