{"id":3752,"date":"2009-04-17T01:37:00","date_gmt":"2009-04-16T16:37:00","guid":{"rendered":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/?p=3752"},"modified":"2021-09-02T16:02:22","modified_gmt":"2021-09-02T07:02:22","slug":"2009%eb%85%84-%ec%a7%91%ed%95%a9%eb%a1%a0-%ec%a7%88%eb%ac%b8%eb%b0%a9","status":"publish","type":"post","link":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/2009\/04\/17\/2009%eb%85%84-%ec%a7%91%ed%95%a9%eb%a1%a0-%ec%a7%88%eb%ac%b8%eb%b0%a9\/","title":{"rendered":"2009\ub144 \uc9d1\ud569\ub860 \uc9c8\ubb38\ubc29"},"content":{"rendered":"<p> \uc5ec\uae30\uc5d0 \uc9c8\ubb38\uc744 \uc4f0\uc138\uc694. \uc0c8 \uc9c8\ubb38\uc740 \uc704\ucabd\uc5d0 \uc501\ub2c8\ub2e4. (\uc544\ub798\ucabd\uc5d0 \uc4f4 \uc9c8\ubb38\uc740 \ub2f5\ud558\uc9c0 \uc54a\uc2b5\ub2c8\ub2e4.) \uc9c8\ubb38\ud55c \uc0ac\ub78c\uc758 \uc774\ub984\uc744 \uaf2d \uc4f0\uc138\uc694. <\/p>\n<hr \/>\n<p> Q: 2008160162 \uc720\ucc3d\ud55c\uc785\ub2c8\ub2e4. \uc5b4\uc81c \uc218\uc5c5\uc2dc\uac04\uc5d0 \uc9c8\ubb38\ud588\ub358 \uc790\uc2e0\uc744 \uc6d0\uc18c\ub85c \uac16\ub294 \uc9d1\ud569\uc5d0 \ub300\ud55c \uc598\uae30\uc785\ub2c8\ub2e4. \uc800\ud76c \uad50\uc7ac 8\uc808\uc5d0 \uacf5\ub9ac\uc5d0 \uad00\ud55c \ubd80\ubd84\uc5d0\uc11c \uadf8 \ubd80\ubd84\uc5d0 \ub300\ud55c \uc5b8\uae09\uc774 \uc788\ub354\uad70\uc694. Axiom of foundation \uc5d0 \ubaa8\uc21c\uc774 \ub418\ub294 \uac83\uc744 \ud655\uc778\ud588\uc2b5\ub2c8\ub2e4. <\/p>\n<hr \/>\n<p> Q: \uad50\uc218\ub2d8 2\uc870\uc5d0\uc11c SECTION 2. \ub0b4\uc5ed\uc758 \uacf5\ub9ac\ub97c \ubc88\uc5ed\ud558\uace0 \uc788\ub294\ub370\uc694. \ubc88\uc5ed\ud558\ub2e4 \ubcf4\uba74 \uad50\uc7ac 5\ud398\uc774\uc9c0 \uc911\uac04\ubd80\ud130 \uba85\uc81c\ub97c \ub9cc\ub4dc\ub294 \uaddc\uce59\uc5d0 \uad00\ud574 \uc124\uba85\ud558\uace0 \uc788\uc2b5\ub2c8\ub2e4, \uadf8 \ub54c \ud544\uc694\ud55c \ud56d\ubaa9\uc774 and, or, not, if-then, if and only if, for some, for all \uc774\ub807\uac8c 7\uac00\uc9c0 \uc788\ub2e4\uace0 \uc18c\uac1c\ud558\uba74\uc11c \ub2e4\uc74c \ub2e8\ub77d\ubd80\ud130 \uadf8 \ud56d\ubaa9\uc744 \uc774\uc6a9\ud574 \uba85\uc81c \ub9cc\ub4dc\ub294 \uaddc\uce59\uc744 \uc774\uc57c\uae30 \ud558\uace0 \uc788\ub294\ub370 \uc774 7\uac00\uc9c0 \ud56d\ubaa9\uc744 \ud55c\uad6d\uc5b4\ub85c \ubc88\uc5ed\ud574 \ubc84\ub9ac\uba74, \uc774 \uaddc\uce59\uc744 \uc18c\uac1c\ud560 \ub54c, \ud574\uc11d\uc774 \uc5b4\uc0c9\ud558\uac8c \ub429\ub2c8\ub2e4. \uc608\ucee8\ub300, \uccab\uc9f8 \uaddc\uce59\uc774 \uba85\uc81c \uc55e\uc5d0 not\uc744 \uc4f0\ub77c\uc778\ub370, \uc6b0\ub9ac\ub9d0\ub85c \ud558\uba74 \uba85\uc81c\uc55e\uc5d0 \uc544\ub2c8\ub2e4\ub97c \ubd99\uc774\ub77c\ub294 \uc2dd\uc73c\ub85c \ubc88\uc5ed\ud558\uac8c \ub418\ub294\ub370 (\uc989, \uc544\ub2c8\ub2e4{})\uc774\ub7f0 \uc2dd\uc73c\ub85c.\ucc28\ub77c\ub9ac \ubc88\uc5ed\uc744 \ud558\uc9c0 \uc54a\uace0 \uc704\uc758 7\uac00\uc9c0 \ud56d\ubaa9\uc744 \uae30\ud638\ub85c \uc0dd\uac01\ud558\uace0 \uadf8\ub300\ub85c \uc0ac\uc6a9\ud558\uba74 \uc5b4\ub5a8\uae4c\uc694?-2006150319\uad8c\ud601\ubbfc <\/p>\n<p> A: \uc608 \uadf8\ub807\uac8c \ud574\ub3c4 \uc88b\uc544\uc694. \uba85\uc81c \uc55e\uc5d0 \uc544\ub2c8\ub2e4\ub97c \ubd99\uc778\ub2e4\uae30\ubcf4\ub2e4 \uba85\uc81c\uc5d0 \uc544\ub2c8\ub2e4\ub97c \ubd99\uc774\ub294\uac70\ub77c\uace0 \ud558\uba74 \ub418\uace0\uc694. \uae30\ud638\ub294 \uc55e\uc5d0 not \ub610\ub294 ~ \ub97c \ubd99\uc774\uba74 \ub418\uc9c0\uc694. <\/p>\n<hr \/>\n<p> Q:\uadfc\ub370\uc694, \uadf8\ub7fc \u03c9 is a subset of every successor set. \uc774\ub780 \ubb38\uc7a5\uc5d0 \ud6c4\uc790, \ubc14\ub85c \ub4a4\uc758 \uc6d0\uc18c\ub77c\ub294 \ub9d0\ub85c \ubc88\uc5ed\uc744 \ud558\ub2c8\uae4c \ub108\ubb34 \uc774\uc0c1\ud574\uc694\u3160 &#8211; \uc774\uc0c8\ubd04 <\/p>\n<p> A: successor set\ub294 0\uc744 \ud3ec\ud568\ud558\uace0 0 \uc774\uc678\uc758 \ubaa8\ub4e0 \uc6d0\uc18c\ub294 \uac01\uac01 \ub204\uad70\uac00\uc758 successor\uc778 \uc9d1\ud569\uc774\uc9c0\uc694. \uc774\ub807\uac8c \uc774 \uc808\uc758 \uc55e\uc5d0\uc11c \uc815\uc758\ud574 \ub193\uace0 \uc2dc\uc791\ud558\uace0 \uc788\uc5b4\uc694. \uadf8\ub7ec\ub2c8\uae4c \uc815\uc758\ud560 \ub54c successor set\ub97c &#8216;\ud6c4\uc790\uc9d1\ud569&#8217;\uc774\ub77c\uace0 \uc774\ub984\ubd99\uc774\uace0 \ub098\uba74 \uadf8\ub807\uac8c \ubd88\ub7ec\ub3c4 \ubcc4\ub85c \uc774\uc0c1\ud558\uc9c0 \uc54a\uc744\uac70\uc608\uc694. \uc774\uac83\uc774 \uc2eb\uc73c\uba74 \uadf8\ub0e5 \uc601\uc5b4\ub85c successor set\ub77c\uace0 \ubd88\ub7ec\ub3c4 \ub3fc\uc694. <\/p>\n<ul class=\"org-ul\">\n<li>\ubc88\uc5ed\uc740 \ubaa8\ub4e0 \ub9d0\uc744 \uc6b0\ub9ac\ub9d0\ub85c \ubc14\uafc0 \ud544\uc694\ub294 \uc5c6\uc5b4\uc694. \ud2b9\ud788 \uc218\ud559 \uc6a9\uc5b4\ub4e4\uc740 \ub9c8\uc74c\ub300\ub85c \ubc88\uc5ed\ud558\uba74 \ub418\ub294 \uac83\uc774 \uc544\ub2c8\ubbc0\ub85c \uc88b\uc740 \ub9d0\uc774 \uc788\uc73c\uba74 (\ub610\ub294 \ubc88\uc5ed\ub41c \ub9d0\uc774 \uc788\uc744 \ub54c\uc5d0\ub3c4) \uc6b0\ub9ac\ub9d0 \ub4a4\uc5d0 \uad04\ud638 \uc548\uc5d0 \uc601\uc5b4\ub85c (\uc801\uc5b4\ub3c4 \ud55c \ubc88\uc740) \uc801\uc5b4\uc8fc\ub294 \uc13c\uc2a4\uac00 \ud544\uc694\ud558\uace0\uc694, \uc798 \ubaa8\ub974\uaca0\uc744 \ub54c\uc5d0\ub294 \uadf8\ub0e5 \uc601\uc5b4\ub97c \uc368\ub3c4 \ub3fc\uc694.<\/li>\n<\/ul>\n<hr \/>\n<p> Q; minor digression, successor set \uc744 \ubb50\ub77c\uace0 \ubc88\uc5ed\ud574\uc57c \ud558\ub294\uc9c0 \ubaa8\ub974\uaca0\uc2b5\ub2c8\ub2e4. &#8211; 2008160163 \uc774\uc0c8\ubd04 <\/p>\n<p> A: minor digression\uc774\ub77c\uba74 \uc870\uae08 \uc606\uae38\ub85c \uc0cc\ub2e4\ub294 \ub9d0\uc774\uace0\uc694. successor\ub294 &#8216;\ud6c4\uc790&#8217; \ub610\ub294 &#8216;\ubc14\ub85c \ub4a4\uc758 \uc6d0\uc18c&#8217; \uc815\ub3c4\ub85c \ubc88\uc5ed\ud569\ub2c8\ub2e4. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>\uc5ec\uae30\uc5d0 \uc9c8\ubb38\uc744 \uc4f0\uc138\uc694. \uc0c8 \uc9c8\ubb38\uc740 \uc704\ucabd\uc5d0 \uc501\ub2c8\ub2e4. (\uc544\ub798\ucabd\uc5d0 \uc4f4 \uc9c8\ubb38\uc740 \ub2f5\ud558\uc9c0 \uc54a\uc2b5\ub2c8\ub2e4.) \uc9c8\ubb38\ud55c \uc0ac\ub78c\uc758 \uc774\ub984\uc744 \uaf2d \uc4f0\uc138\uc694. Q: 2008160162 \uc720\ucc3d\ud55c\uc785\ub2c8\ub2e4. \uc5b4\uc81c \uc218\uc5c5\uc2dc\uac04\uc5d0 \uc9c8\ubb38\ud588\ub358 \uc790\uc2e0\uc744 \uc6d0\uc18c\ub85c \uac16\ub294 \uc9d1\ud569\uc5d0 \ub300\ud55c \uc598\uae30\uc785\ub2c8\ub2e4. \uc800\ud76c \uad50\uc7ac 8\uc808\uc5d0 \uacf5\ub9ac\uc5d0 \uad00\ud55c \ubd80\ubd84\uc5d0\uc11c \uadf8 \ubd80\ubd84\uc5d0 \ub300\ud55c \uc5b8\uae09\uc774 \uc788\ub354\uad70\uc694. Axiom of foundation \uc5d0 \ubaa8\uc21c\uc774 \ub418\ub294 \uac83\uc744 \ud655\uc778\ud588\uc2b5\ub2c8\ub2e4. Q: \uad50\uc218\ub2d8 2\uc870\uc5d0\uc11c SECTION 2. \ub0b4\uc5ed\uc758 \uacf5\ub9ac\ub97c &#8230; <a title=\"2009\ub144 \uc9d1\ud569\ub860 \uc9c8\ubb38\ubc29\" class=\"read-more\" href=\"https:\/\/mathematicians.korea.ac.kr\/ywkim\/2009\/04\/17\/2009%eb%85%84-%ec%a7%91%ed%95%a9%eb%a1%a0-%ec%a7%88%eb%ac%b8%eb%b0%a9\/\" aria-label=\"2009\ub144 \uc9d1\ud569\ub860 \uc9c8\ubb38\ubc29\uc5d0 \ub300\ud574 \ub354 \uc790\uc138\ud788 \uc54c\uc544\ubcf4\uc138\uc694\">\ub354 \uc77d\uae30<\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[11],"tags":[],"class_list":["post-3752","post","type-post","status-publish","format-standard","hentry","category-lectures"],"distributor_meta":false,"distributor_terms":false,"distributor_media":false,"distributor_original_site_name":"\uae40\uc601\uc6b1","distributor_original_site_url":"https:\/\/mathematicians.korea.ac.kr\/ywkim","push-errors":false,"_links":{"self":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts\/3752","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/comments?post=3752"}],"version-history":[{"count":1,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts\/3752\/revisions"}],"predecessor-version":[{"id":3753,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts\/3752\/revisions\/3753"}],"wp:attachment":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/media?parent=3752"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/categories?post=3752"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/tags?post=3752"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}