{"id":9246,"date":"2025-10-17T19:37:23","date_gmt":"2025-10-17T10:37:23","guid":{"rendered":"https:\/\/sasamath.com\/blog\/?page_id=9246"},"modified":"2025-10-21T12:21:02","modified_gmt":"2025-10-21T03:21:02","slug":"invitation-to-mathematical-logic","status":"publish","type":"page","link":"https:\/\/sasamath.com\/blog\/invitation-to-mathematical-logic\/","title":{"rendered":"\uc9d1\ud569\uacfc \uc218\ub9ac\ub17c\ub9ac \uccab\uac78\uc74c"},"content":{"rendered":"<p>\uc774 \ud398\uc774\uc9c0\ub294 2025\ud559\ub144\ub3c4 \uac00\uc744\ud559\uae30 \u2018\uacf5\ub9ac\uc801 \uc9d1\ud569\ub860\uacfc \uc218\ub9ac\ub17c\ub9ac\ud559\u2019 \uc218\uc5c5 \uac15\uc758\ub178\ud2b8\uc758 \uc628\ub77c\uc778 \ud398\uc774\uc9c0\uc785\ub2c8\ub2e4.<\/p>\n<p>\u201c\uc9d1\ud569\uacfc \uc218\ub9ac\ub17c\ub9ac \uccab\uac78\uc74c\u201d\uc740 \uc9d1\ud569\ub860\uacfc \uc218\ub9ac\ub17c\ub9ac\ud559\uc758 \ud575\uc2ec \uac1c\ub150\uc744 \uc785\ubb38 \uc218\uc900\uc5d0\uc11c \uac1c\uad04\uc801\uc73c\ub85c \uc18c\uac1c\ud558\ub294 \uac15\uc758\ub178\ud2b8\uc785\ub2c8\ub2e4. \uc218\uc5c5\uc5d0\uc11c \ud65c\uc6a9\ud558\ub294 \ubaa9\uc801\uc73c\ub85c \uc791\uc131\ub41c \uac15\uc758\ub178\ud2b8\ub85c\uc11c \ud559\uc2b5\uc744 \uc704\ud55c \uae38\uc7a1\uc774 \uc5ed\ud560\uc744 \ud558\ub294 \uc790\ub8cc\uc774\uba70, \uc9d1\ud569\ub860\uacfc \uc218\ub9ac\ub17c\ub9ac\ud559 \uad50\uc7ac\ub97c \uc644\uc804\ud788 \ub300\uccb4\ud558\ub294 \uc790\ub8cc\ub294 \uc544\ub2d9\ub2c8\ub2e4. \ub530\ub77c\uc11c \uc774 \uc790\ub8cc\ub97c \uc0b4\ud3b4\ubcf4\ub2e4\uac00 \ub354 \uc0c1\uc138\ud55c \ub0b4\uc6a9\uc774 \uad81\uae08\ud558\uac70\ub098 \uc5c4\ubc00\ud55c \uc99d\uba85\uc774 \ud544\uc694\ud558\ub2e4\uba74, \uad00\ub828 \uc804\uacf5 \uc11c\uc801\uc744 \ucc38\uc870\ud558\uae30 \ubc14\ub78d\ub2c8\ub2e4.<\/p>\n<p>1\uc7a5\ubd80\ud130 10\uc7a5\uae4c\uc9c0\ub294 Pinter\uc758 \ucc45[1]\uacfc Lin\uc758 \ucc45[2]\uc744 \ucc38\uc870\ud558\uace0, 11\uc7a5\ubd80\ud130 19\uc7a5\uae4c\uc9c0\ub294 Cameron\uc758 \ucc45[3]\uc744 \ucc38\uc870\ud558\uae30 \ubc14\ub78d\ub2c8\ub2e4. \ub354 \uae4a\uc740 \ub0b4\uc6a9\uc744 \uacf5\ubd80\ud558\uace0 \uc2f6\uc73c\uba74 Smullyan\uc758 \ucc45[4]\uacfc Enderton\uc758 \ucc45[5]\uc744 \ucc38\uc870\ud558\uae30 \ubc14\ub78d\ub2c8\ub2e4.<\/p>\n<p>\uc774 \ub178\ud2b8\ub294 \uc77d\ub294 \uc0ac\ub78c\uc774 \uace0\ub4f1\ud559\uad50 \uacfc\uc815\uc758 \uc218\ud559 \uc9c0\uc2dd\uc744 \uac00\uc9c0\uace0 \uc788\ub2e4\ub294 \uc804\uc81c \ud558\uc5d0 \ub0b4\uc6a9\uc744 \uc804\uac1c\ud569\ub2c8\ub2e4. \uadf8\ub7ec\ub098 \ud6c4\ubc18\ubd80\uc758 \uacf5\ub9ac\uc801 \uc9d1\ud569\ub860\uc774\ub098 \ud615\uc2dd\ub17c\ub9ac \ubd80\ubd84\uc744 \uc628\uc804\ud558\uac8c \uc774\ud574\ud558\uae30 \uc704\ud574\uc11c\ub294 \ub354 \ub192\uc740 \uc218\uc900\uc758 \uc218\ud559\uc801 \uc131\uc219\ub3c4\uac00 \ud544\uc694\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<p>\uc774 \ub178\ud2b8\uac00 \uc9d1\ud569\ub860\uacfc \uc218\ub9ac\ub17c\ub9ac\ud559\uc744 \ud5a5\ud574 \uccab\uac78\uc74c\uc744 \ub0b4\ub51b\ub294 \ub370\uc5d0 \ub3c4\uc6c0\uc774 \ub418\uae30\ub97c \ubc14\ub78d\ub2c8\ub2e4.<\/p>\n<div style=\"border-style: solid; border-color: rgb(196,196,196); border-width: 1px; padding: 1em; margin-top: 1.5em; margin-bottom: 1.5em;\">\n<p style=\"margin-bottom: 0.5em;\">\ub0b4\uc6a9 \uc21c\uc11c<\/p>\n<ol style=\"margin-bottom: 0;\">\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch01-naive-logic\/\">\uba85\uc81c\uc640 \ub17c\ub9ac<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch02-sets\">\uc9d1\ud569\uc758 \uac1c\ub150<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch03-algebra-of-classes\">\ub2e4\uc591\ud55c \uc9d1\ud569\uc758 \uc5f0\uc0b0<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch04-relations-and-functions\">\uad00\uacc4\uc640 \ud568\uc218<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch05-infinite-sets\">\uc720\ud55c\uc9d1\ud569\uacfc \ubb34\ud55c\uc9d1\ud569<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch06-natural-numbers\">\uc790\uc5f0\uc218<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch07-cardinal-numbers\">\uc9d1\ud569\uc758 \uae30\uc218<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch08-ordinal-numbers\">\uc9d1\ud569\uc758 \uc11c\uc218<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch09-axiomatic-set-theory\">\uc9d1\ud569\ub860\uc758 \uacf5\ub9ac<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch10-axiom-of-choice\">\uc120\ud0dd \uacf5\ub9ac<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch11-formal-logic\">\ud615\uc2dd\ub17c\ub9ac<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch12-propositional-logic\">\uba85\uc81c\ub17c\ub9ac\uc758 \uac1c\ub150<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch13-soundness-completeness-proplogic\">\uba85\uc81c\ub17c\ub9ac\uc758 \uac74\uc804\uc131\uacfc \uc644\uc804\uc131<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch14-syntax-first-order-logic\">\uc77c\uacc4\ub17c\ub9ac\uc758 \uad6c\ubb38\ub860<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch15-semantics-first-order-logic\">\uc77c\uacc4\ub17c\ub9ac\uc758 \uc758\ubbf8\ub860<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch16-inference-rule-first-order-logic\">\uc77c\uacc4\ub17c\ub9ac\uc758 \ucd94\ub860\uaddc\uce59<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch17-compactness-first-order-logic\">\uc77c\uacc4\ub17c\ub9ac\uc758 \ucf64\ud329\ud2b8\uc131<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch18-peano-arithmetics\">\ud398\uc544\ub178 \uc0b0\uc220<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/ch19-incompleteness-theorem\">\ubd88\uc644\uc804\uc131 \uc815\ub9ac<\/a><\/li>\n<p><!-- \n\n<li><a href=\"\/blog\/invitation-to-mathematical-logic\/\"><\/a><\/li>\n\n -->\n<\/ol>\n<\/div>\n<p style=\"margin-bottom: 0.5em; margin-top: 1.5em;\">\ucc38\uace0\ubb38\ud5cc<\/p>\n<ol style=\"margin-top: 0;\" class=\"bracket\">\n<li>Pinter, Charles C., A Book of Set Theory, Dover Publications, 2014.<\/li>\n<li>Lin, You-Feng, Set Theory: An Intuitive Approach, Houghton Mifflin Harcourt, 1974.<\/li>\n<li>Cameron, Peter J., Sets, Logic and Categories, Springer, 1998.<\/li>\n<li>Smullyan, Raymond M., A Beginner\u2019s Guide to Mathematical Logic, Dover, 2014.<\/li>\n<li>Enderton, Herbert B., A Mathematical Introduction to Logic, 2nd ed., Academic Press, 2001.<\/li>\n<li>\uc815\uc8fc\ud76c, \uc218\ub9ac\ub17c\ub9ac\uc640 \uc9d1\ud569\ub860 \uc785\ubb38, \uacbd\ubb38\uc0ac, 2014.<\/li>\n<li>\uc815\uc8fc\ud76c, \uc218\ub9ac\ub17c\ub9ac\ud559, 1997-1998\ub144\ub3c4 \uc138\ubbf8\ub098 \uac15\uc758\ub178\ud2b8.<\/li>\n<\/ol>\n<p>\uac15\uc758\ub178\ud2b8\uc640 \ubb38\uc81c \ud574\uc124 PDF \ud30c\uc77c\uc740 <a href=\"https:\/\/iseulbee.com\/archives\/lecture_notes_on_set_and_mathematical_logic\/\">\uc800\uc790\uc758 \ube14\ub85c\uadf8(\ubc14\ub85c\uac00\uae30)<\/a>\uc5d0\uc11c \ubc1b\uc744 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\uc774 \ud398\uc774\uc9c0\ub294 2025\ud559\ub144\ub3c4 \uac00\uc744\ud559\uae30 \u2018\uacf5\ub9ac\uc801 \uc9d1\ud569\ub860\uacfc \uc218\ub9ac\ub17c\ub9ac\ud559\u2019 \uc218\uc5c5 \uac15\uc758\ub178\ud2b8\uc758 \uc628\ub77c\uc778 \ud398\uc774\uc9c0\uc785\ub2c8\ub2e4. \u201c\uc9d1\ud569\uacfc \uc218\ub9ac\ub17c\ub9ac \uccab\uac78\uc74c\u201d\uc740 \uc9d1\ud569\ub860\uacfc \uc218\ub9ac\ub17c\ub9ac\ud559\uc758 \ud575\uc2ec \uac1c\ub150\uc744 \uc785\ubb38 \uc218\uc900\uc5d0\uc11c \uac1c\uad04\uc801\uc73c\ub85c \uc18c\uac1c\ud558\ub294 \uac15\uc758\ub178\ud2b8\uc785\ub2c8\ub2e4. \uc218\uc5c5\uc5d0\uc11c \ud65c\uc6a9\ud558\ub294 \ubaa9\uc801\uc73c\ub85c \uc791\uc131\ub41c \uac15\uc758\ub178\ud2b8\ub85c\uc11c \ud559\uc2b5\uc744 \uc704\ud55c \uae38\uc7a1\uc774 \uc5ed\ud560\uc744 \ud558\ub294 \uc790\ub8cc\uc774\uba70, \uc9d1\ud569\ub860\uacfc \uc218\ub9ac\ub17c\ub9ac\ud559 \uad50\uc7ac\ub97c \uc644\uc804\ud788 \ub300\uccb4\ud558\ub294 \uc790\ub8cc\ub294 \uc544\ub2d9\ub2c8\ub2e4. \ub530\ub77c\uc11c \uc774 \uc790\ub8cc\ub97c \uc0b4\ud3b4\ubcf4\ub2e4\uac00 \ub354 \uc0c1\uc138\ud55c \ub0b4\uc6a9\uc774 \uad81\uae08\ud558\uac70\ub098 \uc5c4\ubc00\ud55c \uc99d\uba85\uc774 \ud544\uc694\ud558\ub2e4\uba74, \uad00\ub828 \uc804\uacf5 \uc11c\uc801\uc744 \ucc38\uc870\ud558\uae30 \ubc14\ub78d\ub2c8\ub2e4. 1\uc7a5\ubd80\ud130 10\uc7a5\uae4c\uc9c0\ub294 Pinter\uc758 \ucc45[1]\uacfc Lin\uc758 \ucc45[2]\uc744 \ucc38\uc870\ud558\uace0,&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_lmt_disableupdate":"no","_lmt_disable":"","footnotes":""},"class_list":["post-9246","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9246","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=9246"}],"version-history":[{"count":19,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9246\/revisions"}],"predecessor-version":[{"id":9600,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9246\/revisions\/9600"}],"wp:attachment":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/media?parent=9246"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}