{"id":9741,"date":"2026-07-25T20:24:39","date_gmt":"2026-07-25T11:24:39","guid":{"rendered":"https:\/\/sasamath.com\/blog\/?page_id=9741"},"modified":"2026-07-26T23:13:37","modified_gmt":"2026-07-26T14:13:37","slug":"math-abstraction-04-axiomatic-method","status":"publish","type":"page","link":"https:\/\/sasamath.com\/blog\/mathematical-abstraction\/math-abstraction-04-axiomatic-method\/","title":{"rendered":"\uacf5\ub9ac\uc801 \ubc29\ubc95\uc5d0 \uc758\ud55c \ucd94\uc0c1\ud654"},"content":{"rendered":"<p><!-- \uc218\ud559\uc801 \ucd94\uc0c1\ud654 4\ud3b8: \uacf5\ub9ac\uac00 \ub9cc\ub4e0 \ucd94\uc0c1 --><\/p>\n<div class=\"math-abs-series\">\n<p><!-- <a href=\"..\/math-abstraction-03-algebraic-symbols\/\">3\uc7a5<\/a>\uc758 \ub9d0\ubbf8\uc5d0\uc11c \ub358\uc9c4 \uc9c8\ubb38\uc73c\ub85c \ub3cc\uc544\uac00 \ubcf4\uc790. -->\ud574\ubc00\ud130\uc758 \uc0ac\uc6d0\uc218\uc640 \uac19\uc774, \uc775\uc219\ud55c \uc5f0\uc0b0 \ubc95\uce59 \uac00\uc6b4\ub370 \uc77c\ubd80\ub97c \ud3ec\uae30\ud574\ub3c4 \uc77c\uad00\ub41c \ub300\uc218 \uccb4\uacc4\uac00 \uc131\ub9bd\ud560 \uc218 \uc788\ub2e4\uba74, \uc218\ud559\uc801 \ub300\uc0c1\uc744 \uadf8 \u2018\uc7ac\ub8cc\u2019\uac00 \uc544\ub2c8\ub77c \ub9cc\uc871\ud574\uc57c \ud560 \uad00\uacc4\uc640 \ubc95\uce59\uc73c\ub85c \uaddc\uc815\ud560 \uc218\ub3c4 \uc788\uc9c0 \uc54a\uc744\uae4c? \ud574\ubc00\ud134\uc758 \uc0ac\uc6d0\uc218\ub294 \uad50\ud658\ubc95\uce59\uc774 \ud544\uc218 \ubc95\uce59\uc740 \uc544\ub2c8\ub77c\ub294 \uac15\ub825\ud55c \uc0ac\ub840\ub97c \uc81c\uc2dc\ud588\uc9c0\ub9cc, \uc0ac\uc6d0\uc218\uc758 \ubc1c\uacac\uc5d0\uc11c \uace7\ubc14\ub85c \ud604\ub300\uc758 \uacf5\ub9ac\uc801 \ubc29\ubc95\uc774 \uc644\uc131\ub41c \uac83\uc740 \uc544\ub2c8\ub2e4.<\/p>\n<p>19\uc138\uae30\uc5d0\ub294 \uc11c\ub85c \ub2e4\ub978 \uc5ec\ub7ec \ud750\ub984\uc774 \uc774 \uc9c8\ubb38\uc5d0 \uc811\uadfc\ud588\ub2e4. \ube44\uc720\ud074\ub9ac\ub4dc \uae30\ud558\ud559\uacfc \uadf8 \ubaa8\ud615\ub4e4\uc740 \uc218\ud559\uc801 \uae30\ud558\ud559\uc758 \ub17c\ub9ac\uc801 \ud0c0\ub2f9\uc131\uacfc \ubb3c\ub9ac\uc801 \uacf5\uac04\uc5d0 \ub300\ud55c \uc801\uc6a9\uc744 \uad6c\ubcc4\ud558\uac8c \ud588\ub2e4. \uad70\ub860\uc5d0\uc11c\ub294 \uad6c\uccb4\uc801\uc778 \uce58\ud658\uacfc \ubcc0\ud658\uc744 \ub2e4\ub8e8\ub358 \uc5f0\uad6c\uac00 \uc810\ucc28 \uc6d0\uc18c\uc640 \uc5f0\uc0b0\uc758 \ubc95\uce59\uc744 \uc804\uba74\uc5d0 \ub0b4\uc138\uc6b0\ub294 \ubc29\ud5a5\uc73c\ub85c \ud655\uc7a5\ub418\uc5c8\ub2e4. \ub370\ub370\ud0a8\ud2b8\ub294 \uc218\uc640 \uc544\uc774\ub514\uc5bc\uc744 \uc9d1\ud569\uacfc \uad00\uacc4\ub97c \ud1b5\ud574 \uad6c\uc131\ud588\uace0, \ud30c\uc288, \ud398\uc544\ub178, \ud790\ubca0\ub974\ud2b8 \ub4f1\uc740 \uae30\ud558\ud559\uc758 \uacf5\ub9ac\uc801 \uae30\ucd08\ub97c \ub2e4\uc2dc \uc138\uc6e0\ub2e4. \uc774 \ubcc0\ud654\ub294 \uc5ec\ub7ec \uc5f0\uad6c \uc804\ud1b5\uc774 \ud569\ub958\ud55c \uacb0\uacfc\uc600\uc73c\uba70, \ud790\ubca0\ub974\ud2b8\uc758 1899\ub144 \u201c\uae30\ud558\ud559\uc758 \uae30\ucd08\u201d\ub294 \uadf8 \uac00\uc6b4\ub370 \ud2b9\ud788 \uc601\ud5a5\ub825 \uc788\ub294 \uc804\ud658\uc810\uc774\uc5c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Gray, J., &amp; Ferreir\u00f3s, J. (2025). \u201cEpistemology of Geometry.\u201d The Stanford Encyclopedia of Philosophy (Winter 2025 ed.).\" href=\"#ref-GrayFerreiros2025\">[GrayFerreiros2025]<\/a><a class=\"math-abs-series-ref\" title=\"Sieg, W. (2020). \u201cThe Ways of Hilbert\u2019s Axiomatics: Structural and Formal.\u201d In E. Reck &amp; G. Schiemer (Eds.), The Prehistory of Mathematical Structuralism, 142\u2013165. Oxford University Press.\" href=\"#ref-Sieg2020\">[Sieg2020]<\/a><\/p>\n<h4>\uae30\ud558\ud559\uacfc \ubb3c\ub9ac \uacf5\uac04\uc758 \ubd84\ub9ac<\/h4>\n<p>\u201c\uc6d0\ub860\u201d\uc758 \ub2e4\uc12f \uacf5\uc900 \uac00\uc6b4\ub370 \ub2e4\uc12f \ubc88\uc9f8\uc778 \uacf5\uc900\uc778 \u2018\ud3c9\ud589\uc120 \uacf5\uc900\u2019\uc740, \ud55c \uc9c1\uc120\uc774 \ub450 \uc9c1\uc120\uc744 \uac00\ub85c\uc9c0\ub97c \ub54c \uac19\uc740 \ucabd\uc758 \ub450 \ub0b4\uac01\uc758 \ud569\uc774 \ub450 \uc9c1\uac01\ubcf4\ub2e4 \uc791\uc73c\uba74, \ub450 \uc9c1\uc120\uc744 \ubb34\ud55c\ud788 \uc5f0\uc7a5\ud588\uc744 \ub54c \uadf8\ucabd\uc5d0\uc11c \uc11c\ub85c \ub9cc\ub09c\ub2e4\ub294 \ub0b4\uc6a9\uc774\ub2e4. \uc624\ub298\ub0a0 \ud754\ud788 \uc4f0\ub294 \u201c\ud55c \uc9c1\uc120 \ubc16\uc758 \ud55c \uc810\uc744 \uc9c0\ub098\uba74\uc11c \uadf8 \uc9c1\uc120\uacfc \ub9cc\ub098\uc9c0 \uc54a\ub294 \uc9c1\uc120\uc740 \uc815\ud655\ud788 \ud558\ub098 \uc874\uc7ac\ud55c\ub2e4\u201d\ub77c\ub294 \ubb38\uc7a5\uc740 \uc720\ud074\ub9ac\ub4dc\uc758 \uc6d0\ubb38\uc774 \uc544\ub2c8\ub77c, \ub2e4\ub978 \uae30\ud558\ud559\uc801 \uc804\uc81c \uc544\ub798\uc5d0\uc11c \uc81c5\uacf5\uc900\uacfc \ub3d9\uce58\uc778 \ud50c\ub808\uc774\ud398\uc5b4\ud615 \uacf5\ub9ac\ub2e4.<a class=\"math-abs-series-ref\" title=\"Euclid. Euclid\u2019s Elements of Geometry, Book I, Postulate 5. R. Fitzpatrick \ud3b8\uc5ed. PDF.\" href=\"#ref-EuclidElements\">[EuclidElements]<\/a><a class=\"math-abs-series-ref\" title=\"Bonola, R. (1912). Non-Euclidean Geometry: A Critical and Historical Study of Its Development. H. S. Carslaw \ubc88\uc5ed. Internet Archive.\" href=\"#ref-Bonola1912\">[Bonola1912]<\/a> \uc81c5\uacf5\uc900\uc740 \ub2e4\ub978 \uacf5\uc900\ubcf4\ub2e4 \uae38\uace0, \uba40\ub9ac \uc5f0\uc7a5\ud55c \ub450 \uc9c1\uc120\uc758 \ub9cc\ub0a8\uc744 \uc694\uad6c\ud55c\ub2e4\ub294 \uc810\uc5d0\uc11c \uc790\uba85\uc131\uc774 \uc57d\ud558\ub2e4\uace0 \uc5ec\uaca8\uc84c\ub2e4. \uadf8 \ub54c\ubb38\uc5d0 \uc5ec\ub7ec \uc2dc\ub300\uc758 \uc218\ud559\uc790\ub4e4\uc740 \uc774\uac83\uc774 \ub098\uba38\uc9c0 \uc804\uc81c\ub4e4\ub85c\ubd80\ud130 \uc99d\uba85\ub418\ub294 \uc815\ub9ac\uac00 \uc544\ub2d0\uc9c0 \ud0d0\uad6c\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Bonola, R. (1912). Non-Euclidean Geometry: A Critical and Historical Study of Its Development. H. S. Carslaw \ubc88\uc5ed. Internet Archive.\" href=\"#ref-Bonola1912\">[Bonola1912]<\/a><\/p>\n<p>\uadf8 \uc911\uc694\ud55c \uc0ac\ub840\uac00 \uc774\ud0c8\ub9ac\uc544 \uc218\ud559\uc790 \uc9c0\ub864\ub77c\ubaa8 \uc0ac\ucf00\ub9ac(Girolamo Saccheri)\uc758 1733\ub144 \uc800\uc11c \u201c\ubaa8\ub4e0 \uc624\uc810\uc5d0\uc11c \ud574\ubc29\ub41c \uc720\ud074\ub9ac\ub4dc\u201d(<i>Euclides ab omni naevo vindicatus<\/i>)\uc774\ub2e4. \uc0ac\ucf00\ub9ac\ub294 \ubc11\ubcc0\uc758 \ub450 \uac01\uc774 \uc9c1\uac01\uc774\uace0 \ub450 \uc606\ubcc0\uc758 \uae38\uc774\uac00 \uac19\uc740 \uc0ac\uac01\ud615\uc744 \ub9cc\ub4e0 \ub4a4, \ub098\uba38\uc9c0 \ub450 \uac01\uc774 \uc9c1\uac01, \ub454\uac01, \uc608\uac01\uc778 \uc138 \uac00\uc124\uc744 \uac80\ud1a0\ud588\ub2e4. \uadf8\ub294 \uc9c1\uac01 \uac00\uc124\ub9cc \ub0a8\uae30\uae30 \uc704\ud574 \ub2e4\ub978 \uac00\uc124\ub4e4\uc5d0\uc11c \ubaa8\uc21c\uc744 \uc774\ub04c\uc5b4 \ub0b4\ub824 \ud588\uc9c0\ub9cc, \uc608\uac01 \uac00\uc124\uc5d0\uc11c\ub294 \uc624\ub298\ub0a0 \uc30d\uace1\uae30\ud558\ud559\uc758 \uc815\ub9ac\ub85c \uc778\uc815\ub418\ub294 \ub9ce\uc740 \uacb0\uacfc\ub97c \uc5bb\uc5c8\ub2e4. \ub9c8\uc9c0\ub9c9\uc5d0 \uc608\uac01 \uac00\uc124\uc774 \u2018\uc9c1\uc120\uc758 \ubcf8\uc131\uc5d0 \uc5b4\uae0b\ub09c\ub2e4\u2019\uace0 \uc120\uc5b8\ud588\uc73c\ub098, \uadf8\uac83\uc740 \uc55e\uc120 \uc804\uc81c\uc5d0\uc11c \uc815\ub2f9\ud558\uac8c \ub3c4\ucd9c\ub41c \ubaa8\uc21c\uc774 \uc544\ub2c8\uc5c8\ub2e4. \ub530\ub77c\uc11c \uc0ac\ucf00\ub9ac\ub294 \uc790\uc2e0\uc774 \ubd80\uc815\ud558\ub824 \ud55c \uae30\ud558\ud559\uc758 \uc0c1\ub2f9 \ubd80\ubd84\uc744 \uc804\uac1c\ud55c \uc911\uc694\ud55c \uc120\uad6c\uc790\ub85c \ud3c9\uac00\ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Bonola, R. (1912). Non-Euclidean Geometry: A Critical and Historical Study of Its Development. H. S. Carslaw \ubc88\uc5ed. Internet Archive.\" href=\"#ref-Bonola1912\">[Bonola1912]<\/a><\/p>\n<p>19\uc138\uae30\uc5d0\ub294 \uac00\uc6b0\uc2a4(Carl Friedrich Gauss), \ub85c\ubc14\uccc5\uc2a4\ud0a4(Nikolai Lobachevsky), \ubcf4\uc5ec\uc774(J\u00e1nos Bolyai)\uac00 \uc11c\ub85c \ub3c5\ub9bd\uc801\uc73c\ub85c \uc774 \uc0c8\ub85c\uc6b4 \uae30\ud558\ud559\uc744 \ud0d0\uad6c\ud588\ub2e4. \uac00\uc6b0\uc2a4\ub294 \ubc1c\ud45c\ud558\uc9c0 \uc54a\uc740 \uc5f0\uad6c\uc640 \uc11c\uc2e0\uc5d0\uc11c \uc774\ub97c \ub17c\uc758\ud588\uace0, \ub85c\ubc14\uccc5\uc2a4\ud0a4\ub294 1826\ub144\uc5d0 \uacf5\uac1c \ubc1c\ud45c\ud55c \ub4a4 1829\u20131830\ub144\uc5d0 \ub7ec\uc2dc\uc544\uc5b4 \ub17c\ubb38\uc744 \ucd9c\ud310\ud588\ub2e4. \ubcf4\uc5ec\uc774\uc758 \u201c\uacf5\uac04\uc758 \uc808\ub300\uacfc\ud559\uc744 \uc81c\uc2dc\ud558\ub294 \ubd80\ub85d\u201d\uc740 1831\ub144\uc5d0 \ubcc4\uc1c4\uac00 \ub098\uc624\uace0 1832\ub144 \uc544\ubc84\uc9c0\uc758 \u201cTentamen\u201d \uc81c1\uad8c \ubd80\ub85d\uc73c\ub85c \ucd9c\ud310\ub418\uc5c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Torretti, R. (2021). \u201cNineteenth Century Geometry.\u201d The Stanford Encyclopedia of Philosophy (Fall 2021 ed.).\" href=\"#ref-Torretti2021\">[Torretti2021]<\/a> \uc624\ub298\ub0a0 <span class=\"defined\">\uc30d\uace1\uae30\ud558\ud559<\/span>(hyperbolic geometry)\uc774\ub77c\uace0 \ubd80\ub974\ub294 \uc774 \uccb4\uacc4\uc5d0\uc11c\ub294 \ud50c\ub808\uc774\ud398\uc5b4\ud615 \uacf5\ub9ac\uc758 \uc720\uc77c\uc131\uc774 \uc131\ub9bd\ud558\uc9c0 \uc54a\ub294\ub2e4. \u2018\ud3c9\ud589\u2019\uc744 \ub9cc\ub098\uc9c0 \uc54a\ub294 \uc9c1\uc120\uc774\ub77c\ub294 \ub113\uc740 \ub73b\uc73c\ub85c \uc4f0\uba74, \uc8fc\uc5b4\uc9c4 \uc9c1\uc120 \ubc16\uc758 \ud55c \uc810\uc744 \uc9c0\ub098\uba74\uc11c \uadf8 \uc9c1\uc120\uacfc \ub9cc\ub098\uc9c0 \uc54a\ub294 \uc9c1\uc120\uc774 \ubb34\ud55c\ud788 \ub9ce\uc774 \uc874\uc7ac\ud55c\ub2e4. \ub2e4\ub9cc \ub85c\ubc14\uccc5\uc2a4\ud0a4\uc640 \ubcf4\uc5ec\uc774\uc758 \uc5ed\uc0ac\uc801 \uc6a9\uc5b4\uc5d0\uc11c\ub294 \uadf8 \uac00\uc6b4\ub370 \uacbd\uacc4\ub97c \uc774\ub8e8\ub294 \ub450 \uc9c1\uc120\ub9cc\uc744 \ud3c9\ud589\uc120\uc774\ub77c \ubd80\ub974\uace0 \ub098\uba38\uc9c0\ub294 \ucd08\ud3c9\ud589\uc120\uc73c\ub85c \uad6c\ubcc4\ud558\uae30\ub3c4 \ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Torretti, R. (2021). \u201cNineteenth Century Geometry.\u201d The Stanford Encyclopedia of Philosophy (Fall 2021 ed.).\" href=\"#ref-Torretti2021\">[Torretti2021]<\/a><\/p>\n<p>\uc774\ub4e4\uc774 \uc81c5\uacf5\uc900\uc744 \ubd80\uc815\ud558\uace0\ub3c4 \ud48d\ubd80\ud55c \uc815\ub9ac \uccb4\uacc4\ub97c \uc804\uac1c\ud588\ub2e4\ub294 \uc0ac\uc2e4\ub9cc\uc73c\ub85c \ud604\ub300\uc801 \uc758\ubbf8\uc758 \ubb34\ubaa8\uc21c\uc131\uc774 \uc99d\uba85\ub41c \uac83\uc740 \uc544\ub2c8\uc5c8\ub2e4. \uc774 \uc774\ub860\uc758 \ub17c\ub9ac\uc801 \uc9c0\uc704\ub97c \uacb0\uc815\uc801\uc73c\ub85c \ubc14\uafbc \uc778\ubb3c\uc774 \uc5d0\uc6b0\uc81c\ub2c8\uc624 \ubca8\ud2b8\ub77c\ubbf8(Eugenio Beltrami)\uc774\ub2e4. \ubca8\ud2b8\ub77c\ubbf8\ub294 1868\ub144 \ub450 \ub17c\ubb38\uc5d0\uc11c \uc30d\uace1\uae30\ud558\ud559\uc758 \uc810, \uc9c1\uc120, \uac70\ub9ac, \uac01\uc744 \uc720\ud074\ub9ac\ub4dc\uc801 \ud574\uc11d\uae30\ud558\uc640 \ubbf8\ubd84\uae30\ud558\uc758 \ub300\uc0c1\ub4e4\ub85c \ud574\uc11d\ud558\ub294 \ubaa8\ud615\ub4e4\uc744 \uc81c\uc2dc\ud588\ub2e4. \ub530\ub77c\uc11c \uc30d\uace1\uae30\ud558\ud559\uc5d0\uc11c \ubaa8\uc21c\uc774 \uc720\ub3c4\ub41c\ub2e4\uba74 \uadf8 \ubaa8\ud615\uc744 \uad6c\uc131\ud55c \uc720\ud074\ub9ac\ub4dc\uc801 \uc218\ud559\uc5d0\uc11c\ub3c4 \ubaa8\uc21c\uc774 \uc720\ub3c4\ub41c\ub2e4. \uc774\uac83\uc740 \uc808\ub300\uc801 \ubb34\ubaa8\uc21c\uc131 \uc99d\uba85\uc774 \uc544\ub2c8\ub77c, \ubc30\uacbd\uc774 \ub418\ub294 \uc720\ud074\ub9ac\ub4dc\uc801 \uc218\ud559\uc774 \ubb34\ubaa8\uc21c\uc774\uba74 \uc30d\uace1\uae30\ud558\ud559\ub3c4 \ubb34\ubaa8\uc21c\uc774\ub77c\ub294 <span class=\"defined\">\uc0c1\ub300\uc801 \ubb34\ubaa8\uc21c\uc131<\/span> \ub17c\uc99d\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"Arcozzi, N. (2012). \u201cBeltrami\u2019s Models of Non-Euclidean Geometry.\u201d In Mathematicians in Bologna 1861\u20131960, 1\u201330.\" href=\"#ref-Arcozzi2012\">[Arcozzi2012]<\/a><\/p>\n<p>[\ubca8\ud2b8\ub77c\ubbf8\uac00 \uc30d\uace1\ud3c9\uba74\uc758 \uc77c\ubd80\ub97c 3\ucc28\uc6d0 \uc720\ud074\ub9ac\ub4dc \uacf5\uac04\uc758 \uc758\uc0ac\uad6c\uba74 \uc704\uc5d0 \uc2e4\ud604\ud55c \ubaa8\ud615\uc740 \uad6d\uc18c\uc801\uc774\uba70, \uc30d\uace1\ud3c9\uba74 \uc804\uccb4\ub97c \ub9e4\ub044\ub7fd\uace0 \uc644\uc804\ud55c \uace1\uba74\uc73c\ub85c 3\ucc28\uc6d0 \uc720\ud074\ub9ac\ub4dc \uacf5\uac04\uc5d0 \ub2f4\uc740 \uac83\uc740 \uc544\ub2c8\ub2e4. \uadf8\ub7ec\ub098 \uc30d\uace1\ud3c9\uba74 \uc804\uccb4\uc758 \ubaa8\ud615\uc774 \ud074\ub77c\uc778\uc774\ub098 \ud478\uc575\uce74\ub808\uc5d0 \uc774\ub974\ub7ec\uc11c\uc57c \ucc98\uc74c \ub4f1\uc7a5\ud55c \uac83\uc740 \uc544\ub2c8\ub2e4. \ubca8\ud2b8\ub77c\ubbf8\uc758 1868\ub144 \uc5f0\uad6c\uc5d0\ub294 \uc6d0\ud310 \ub0b4\ubd80 \uc804\uccb4\ub97c \uc0ac\uc6a9\ud558\ub294 \uc0ac\uc601 \ubaa8\ud615\uacfc \ub4f1\uac01 \ubaa8\ud615\uc774 \uc774\ubbf8 \ub4e4\uc5b4 \uc788\ub2e4. \ud074\ub77c\uc778\uc740 \ub4a4\uc774\uc5b4 \uc0ac\uc601 \ubaa8\ud615\uc744 \ucf00\uc77c\ub9ac\uc758 \ubcf5\ube44 \uac70\ub9ac\uc640 \uc5f0\uacb0\ud574 \uad6c\uc870\ub97c \uba85\ub8cc\ud558\uac8c \ud588\uace0, \ud478\uc575\uce74\ub808\ub294 \ub4f1\uac01 \uc6d0\ud310\uacfc \ubc18\ud3c9\uba74 \ubaa8\ud615\uc744 \ud568\uc218\ub860 \uc5f0\uad6c\uc5d0 \uac15\ub825\ud558\uac8c \ud65c\uc6a9\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Arcozzi, N. (2012). \u201cBeltrami\u2019s Models of Non-Euclidean Geometry.\u201d In Mathematicians in Bologna 1861\u20131960, 1\u201330.\" href=\"#ref-Arcozzi2012\">[Arcozzi2012]<\/a>]<\/p>\n<p>[\ub9ac\ub9cc(Bernhard Riemann)\uc740 1854\ub144 \uad34\ud305\uac90 \ucde8\uc784\uc790\uaca9 \uac15\uc5f0 \u201c\uae30\ud558\ud559\uc758 \uae30\ucd08\uc5d0 \ub193\uc778 \uac00\uc124\ub4e4\uc5d0 \uad00\ud558\uc5ec\u201d\uc5d0\uc11c \\(n\\)\ucc28\uc6d0\uc758 \uc5f0\uc7a5\uccb4\uc640 \uc704\uce58\uc5d0 \ub530\ub77c \uacc4\uc218\uac00 \ub2ec\ub77c\uc9c8 \uc218 \uc788\ub294 \ubb34\ud55c\uc18c \uac70\ub9ac\uc2dd\uc744 \ub17c\uc758\ud558\uc5ec, \uc77c\uc815\ud558\uc9c0 \uc54a\uc740 \uace1\ub960\uc744 \uc9c0\ub2cc \uacf5\uac04\uae4c\uc9c0 \ub2e4\ub8e8\ub294 \ud2c0\uc744 \uc81c\uc548\ud588\ub2e4. \uc774 \uac15\uc5f0\uc740 \uadf8\uac00 \uc0ac\ub9dd\ud55c \ub4a4\uc778 1868\ub144\uc5d0 \ucd9c\ud310\ub418\uc5c8\ub2e4. <!-- \uc774\ub294 \uc624\ub298\ub0a0 \ub9ac\ub9cc \ub2e4\uc591\uccb4\uc758 \uc9c1\uc811\uc801\uc778 \uc120\uad6c\uc774\uc9c0\ub9cc, \ud604\ub300\uc801\uc778 \ubbf8\ubd84\uac00\ub2a5 \ub2e4\uc591\uccb4\uc758 \uc815\uc758\uac00 \uadf8\ub54c \uc774\ubbf8 \uc644\uc131\ub418\uc5b4 \uc788\uc5c8\ub2e4\ub294 \ub73b\uc740 \uc544\ub2c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Riemann, B. (1854\/1868). \u201cOn the Hypotheses which Lie at the Bases of Geometry.\u201d W. K. Clifford \ubc88\uc5ed. EMIS PDF.\" href=\"#ref-Riemann1854\">[Riemann1854]<\/a> --> \ub2e4\ub9cc \uc77c\ubc18\uc0c1\ub300\uc131\uc774\ub860\uc758 \uc2dc\uacf5\uac04\uc740 \uc591\uc758 \uc815\ubd80\ud638 \ub9ac\ub9cc \ub2e4\uc591\uccb4\uac00 \uc544\ub2c8\ub77c \uc2dc\uac04 \ubc29\ud5a5\uacfc \uacf5\uac04 \ubc29\ud5a5\uc758 \ubd80\ud638\uac00 \ub2e4\ub978 \ub85c\ub7f0\uce20 \ub2e4\uc591\uccb4, \uc989 \uc900\ub9ac\ub9cc \ub2e4\uc591\uccb4\ub85c \uae30\uc220\ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Gray, J., &amp; Ferreir\u00f3s, J. (2025). \u201cEpistemology of Geometry.\u201d The Stanford Encyclopedia of Philosophy (Winter 2025 ed.).\" href=\"#ref-GrayFerreiros2025\">[GrayFerreiros2025]<\/a><a class=\"math-abs-series-ref\" title=\"Einstein, A. (1916). \u201cDie Grundlage der allgemeinen Relativit\u00e4tstheorie.\u201d Annalen der Physik, 49, 769\u2013822.\" href=\"#ref-Einstein1916\">[Einstein1916]<\/a>]<\/p>\n<p>\uc774 \uacb0\uacfc\ub4e4\uc774 \ubc14\uafbc \uac83\uc740 \ud2b9\uc815\ud55c \uc815\ub9ac \ud558\ub098\ub9cc\uc774 \uc544\ub2c8\uc5c8\ub2e4. \ube44\uc720\ud074\ub9ac\ub4dc \uae30\ud558\ud559\uacfc \uadf8 \ubaa8\ud615\ub4e4\uc740 \uc11c\ub85c \ub2e4\ub978 \uae30\ud558\ud559\ub4e4\uc774 \uc218\ud559\uc801\uc73c\ub85c \uc815\ub2f9\ud55c \uc774\ub860\uc73c\ub85c \uc131\ub9bd\ud560 \uc218 \uc788\uc74c\uc744 \ubcf4\uc5ec\uc8fc\uc5b4, \uacf5\ub9ac\uc5d0\uc11c \uc5f0\uc5ed\ub418\ub294 <span class=\"defined\">\uc218\ud559\uc801 \uae30\ud558\ud559<\/span>\uacfc \uc790\uc5f0 \uc138\uacc4\ub97c \uae30\uc220\ud558\uae30 \uc704\ud574 \ucc44\ud0dd\ud558\ub294 <span class=\"defined\">\ubb3c\ub9ac\uc801 \uae30\ud558\ud559<\/span>\uc744 \uad6c\ubcc4\ud560 \uae38\uc744 \uc5f4\uc5c8\ub2e4. \uc5b4\ub290 \uae30\ud558\ud559\uc774 \uc2e4\uc81c \uacf5\uac04\uacfc \uc2dc\uacf5\uac04\uc744 \uac00\uc7a5 \uc798 \uae30\uc220\ud558\ub294\uc9c0\ub294 \uc21c\uc218 \uae30\ud558\ud559\uc758 \uacf5\ub9ac\ub9cc\uc73c\ub85c \uacb0\uc815\ub418\uc9c0 \uc54a\ub294\ub2e4. \uad00\uce21\uacfc \uce21\uc815\uc774 \ud544\uc694\ud558\uc9c0\ub9cc, \uadf8 \uacb0\uacfc \uc5ed\uc2dc \uc790\uc640 \uc2dc\uacc4\uc640 \ube5b\uc758 \ubb3c\ub9ac\uc801 \uac70\ub3d9\uc5d0 \uad00\ud55c \uac00\uc815\uacfc \ud568\uaed8 \ud574\uc11d\ub41c\ub2e4. <!-- \ub530\ub77c\uc11c \uc774 \ubcc0\ud654\ub97c \u2018\uae30\ud558\ud559\uc774 \ubb3c\ub9ac \uacf5\uac04\uc744 \uc644\uc804\ud788 \ubc84\ub838\ub2e4\u2019\uace0 \ud558\uae30\ubcf4\ub2e4, \uae30\ud558\ud559\uc758 \ub17c\ub9ac\uc801 \ud0c0\ub2f9\uc131\uacfc \ubb3c\ub9ac\uc801 \uc801\uc6a9 \uc5ec\ubd80\uac00 \uc11c\ub85c \ub2e4\ub978 \ubb38\uc81c\uac00 \ub418\uc5c8\ub2e4\uace0 \ud45c\ud604\ud558\ub294 \ud3b8\uc774 \uc815\ud655\ud558\ub2e4.<a class=\"math-abs-series-ref\" title=\"Gray, J., &amp; Ferreir\u00f3s, J. (2025). \u201cEpistemology of Geometry.\u201d The Stanford Encyclopedia of Philosophy (Winter 2025 ed.).\" href=\"#ref-GrayFerreiros2025\">[GrayFerreiros2025]<\/a> --><\/p>\n<h4>\uad70, \uce58\ud658\uc5d0\uc11c \uacf5\ub9ac\ub85c<\/h4>\n<p>\ube44\uc2b7\ud55c \uc2dc\uae30\uc5d0 \ub300\uc218\ud559\uc5d0\uc11c\ub3c4 \ub300\uc0c1\uc758 \uad6c\uccb4\uc801\uc778 \ud615\ud0dc\ubcf4\ub2e4 \uc5f0\uc0b0\uc758 \uad6c\uc870\uc5d0 \uc8fc\ubaa9\ud558\ub294 \ubcc0\ud654\uac00 \uc9c4\ud589\ub418\uc5c8\ub2e4. <!-- \ub2e4\ub9cc \uad70 \uac1c\ub150\uc774 \uce58\ud658 \uc774\ub860 \ud558\ub098\uc5d0\uc11c \ucd9c\ubc1c\ud574 \uace7\ubc14\ub85c \ud604\ub300\uc758 \ucd94\uc0c1\uad70\uc73c\ub85c \uc9c4\ud654\ud588\ub2e4\uace0 \ubcf4\ub294 \uac83\uc740 \uc9c0\ub098\uce58\uac8c \ub2e8\uc21c\ud558\ub2e4. --> \ubc29\uc815\uc2dd\uc758 \uce58\ud658, \uc218\ub860\uc758 \ud569\uc131\ubc95\uce59, \uae30\ud558\ud559\uc758 \ubcc0\ud658 \ub4f1 \uc5ec\ub7ec \uc5f0\uad6c \uc804\ud1b5\uc774 19\uc138\uae30 \ud6c4\ubc18\uc5d0 \ud569\ub958\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Kleiner, I. (1986). \u201cThe Evolution of Group Theory: A Brief Survey.\u201d Mathematics Magazine, 59(4), 195\u2013215.\" href=\"#ref-Kleiner1986\">[Kleiner1986]<\/a><\/p>\n<p>\uadf8 \uc911\uc694\ud55c \ucd9c\ubc1c\uc810 \uac00\uc6b4\ub370 \ud558\ub098\ub294 \uc5d0\ubc14\ub9ac\uc2a4\ud2b8 \uac08\ub8e8\uc544(\u00c9variste Galois)\uc774\ub2e4. 1829\ub144\ubd80\ud130 1831\ub144 \uc0ac\uc774 \uac08\ub8e8\uc544\ub294 \ub2e4\ud56d\ubc29\uc815\uc2dd\uc758 \ud574\ub97c \uc0ac\uce59\uc5f0\uc0b0\uacfc \uadfc\ud638\ub97c \uc720\ud55c \ubc88 \uc0ac\uc6a9\ud558\uc5ec \ub098\ud0c0\ub0bc \uc218 \uc788\ub294\uc9c0 \uc5f0\uad6c\ud588\ub2e4. \uadf8\ub294 \ubc29\uc815\uc2dd\uc758 \uadfc\ub4e4\uc5d0 \uc791\uc6a9\ud558\ub294 \uce58\ud658 \uac00\uc6b4\ub370 \uc8fc\uc5b4\uc9c4 \uacc4\uc218\uccb4\uc5d0\uc11c \uc54c\ub824\uc9c4 \uadfc\ub4e4\uc758 \uc720\ub9ac\ud568\uc218 \uad00\uacc4\ub97c \ubcf4\uc874\ud558\ub294 \uce58\ud658\ub4e4\uc744 \uc0b4\ud3c8\uace0, \uc774 \uce58\ud658\ub4e4\uc758 \ubaa8\uc784\uc5d0 <span class=\"defined\">\uad70<\/span>(groupe)\uc774\ub77c\ub294 \ub9d0\uc744 \uc0ac\uc6a9\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Neumann, P. M. (2011). The Mathematical Writings of \u00c9variste Galois. European Mathematical Society.\" href=\"#ref-Neumann2011\">[Neumann2011]<\/a><\/p>\n<p>[\uac08\ub8e8\uc544\uac00 \uad70\ub860\uc758 \ud575\uc2ec\uc744 1832\ub144 \uacb0\ud22c \uc804\ub0a0 \ubc24 \ucc98\uc74c \uc791\uc131\ud588\ub2e4\ub294 \uc720\uba85\ud55c \uc774\uc57c\uae30\ub294 \uc815\ud655\ud558\uc9c0 \uc54a\ub2e4. \uc8fc\uc694 \ud68c\uace0\ub85d\uc740 1829\u20131831\ub144\uc5d0 \uc774\ubbf8 \uc791\uc131\ub418\uc5c8\ub2e4. 1832\ub144 5\uc6d4 29\uc77c \ubc24 \uac08\ub8e8\uc544\ub294 \uae30\uc874 \uc6d0\uace0\ub97c \uc190\uc9c8\ud558\uace0 \uc624\uadc0\uc2a4\ud2b8 \uc288\ubc1c\ub9ac\uc5d0\uc5d0\uac8c \uc720\uc5b8\uc801 \uc131\uaca9\uc758 \ud3b8\uc9c0\ub97c \uc37c\ub2e4. \uc870\uc81c\ud504 \ub9ac\uc6b0\ube4c\uc740 \uc774 \uc790\ub8cc\ub4e4\uc744 \uc0c8\ub85c \ub9cc\ub4e4\uc5b4 \ub0b8 \uac83\uc774 \uc544\ub2c8\ub77c \uac80\ud1a0\ud558\uace0 \uc18c\uac1c\ud588\uc73c\uba70, 1846\ub144\uc5d0 \uac08\ub8e8\uc544\uc758 \uc8fc\uc694 \uc218\ud559 \uc800\uc791\uc744 \ucd9c\ud310\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Neumann, P. M. (2011). The Mathematical Writings of \u00c9variste Galois. European Mathematical Society.\" href=\"#ref-Neumann2011\">[Neumann2011]<\/a>]<\/p>\n<p>1854\ub144 \uc544\uc11c \ucf00\uc77c\ub9ac(Arthur Cayley)\ub294 \u201cOn the Theory of Groups, as depending on the symbolic equation \\(\\theta^n=1\\)\u201d\uc5d0\uc11c \ucd94\uc0c1\uad70 \uac1c\ub150\uc744 \ud5a5\ud55c \uac00\uc7a5 \uc774\ub974\uace0 \uc720\uba85\ud55c \uc2dc\ub3c4 \uac00\uc6b4\ub370 \ud558\ub098\ub97c \uc81c\uc2dc\ud588\ub2e4. \uadf8\ub294 \uc720\ud55c\ud55c \uc5f0\uc0b0 \uae30\ud638\ub4e4\uc758 \ubaa8\uc784\uc744 \uc0dd\uac01\ud558\uace0, \ud56d\ub4f1 \uc5f0\uc0b0\uacfc \ud569\uc131, \uacb0\ud569\ubc95\uce59\uacfc \ub2eb\ud798\uc744 \uc911\uc2ec\uc73c\ub85c \uad70\uc744 \uc124\uba85\ud588\ub2e4. \uc774 \uc811\uadfc\uc740 \uad70\uc744 \uac1c\ubcc4 \uce58\ud658\uc758 \ud45c\uae30\ubcf4\ub2e4 \uae30\ud638\ub4e4\uc758 \uacb0\ud569 \ubc95\uce59\uacfc \uacf1\uc148\ud45c\ub97c \ud1b5\ud574 \ub2e4\ub8f0 \uc218 \uc788\uac8c \ud588\ub2e4\ub294 \uc810\uc5d0\uc11c \uc911\uc694\ud558\ub2e4.<a class=\"math-abs-series-ref\" title=\"Cayley, A. (1854). \u201cOn the Theory of Groups, as Depending on the Symbolic Equation \\(\\theta^n=1\\).\u201d Philosophical Magazine, series 4, 7, 40\u201347.\" href=\"#ref-Cayley1854\">[Cayley1854]<\/a><\/p>\n<p>[\ucf00\uc77c\ub9ac\uc758 \uc6d0\ub798 \ub17c\ubb38\uc740 \uc720\ud55c\ud55c \uc5f0\uc0b0 \uae30\ud638\ub4e4\uc758 \ud569\uc131\uacfc \uacf1\uc148\ud45c\ub97c \uc911\uc2ec\uc73c\ub85c \ud588\uc73c\uba70, \uacb0\ud569\ubc95\uce59, \ud56d\ub4f1\uc6d0, \uc5ed\uc6d0\uc744 \uc624\ub298\ub0a0\ucc98\ub7fc \ub3c5\ub9bd\ub41c \uacf5\ub9ac \ubaa9\ub85d\uc73c\ub85c \uc81c\uc2dc\ud558\uc9c0 \uc54a\uc558\ub2e4. \uc624\ub298\ub0a0\uc758 \uc815\uc758\uc5d0 \uac00\uae4c\uc6b4 \uacf5\ub9ac\ud654\ub294 \ud06c\ub85c\ub124\ucee4, \ubca0\ubc84, \ub514\ud06c \ub4f1\uc758 \uc791\uc5c5\uc744 \uac70\uce58\uba70 \uc810\ucc28 \uc815\ucc29\ud588\ub2e4. <!-- \uadf8\ub7ec\ubbc0\ub85c \ucf00\uc77c\ub9ac\uc758 \ub17c\ubb38\uc744 \ud604\ub300\uc801 \ucd94\uc0c1\uad70 \uc815\uc758\uc758 \uc911\uc694\ud55c \ucd08\uae30 \ub2e8\uacc4\ub77c\uace0 \ud560 \uc218\ub294 \uc788\uc9c0\ub9cc, \ud604\ub300\uc758 \uacf5\ub9ac \ubaa9\ub85d\uc774 \ud55c \ubc88\uc5d0 \uc644\uc131\ub41c \ucd5c\ucd08\uc758 \ub17c\ubb38\uc774\ub77c\uace0 \ub2e8\uc815\ud574\uc11c\ub294 \uc548 \ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Neumann, P. M. (1999). \u201cWhat Groups Were: A Study of the Development of the Axiomatics of Group Theory.\u201d Bulletin of the Australian Mathematical Society, 60(2), 285\u2013301.\" href=\"#ref-Neumann1999\">[Neumann1999]<\/a>] --><\/p>\n<p>\ucf00\uc77c\ub9ac\ub294 \uac19\uc740 \ub17c\ubb38\uc5d0\uc11c \uc720\ud55c\uad70\uc758 \uc6d0\uc18c\ub4e4\uc744 \uadf8 \uad70 \uc790\uccb4\uc5d0 \uc791\uc6a9\ud558\ub294 \uce58\ud658\uc73c\ub85c \ub098\ud0c0\ub0b4\ub294 \ub300\uc751\ub3c4 \uc81c\uc2dc\ud588\ub2e4. \ud604\ub300\uc758 \ucf00\uc77c\ub9ac \uc815\ub9ac\ub294 \uc774 \uc0dd\uac01\uc744 \uc720\ud55c\uad70\uacfc \ubb34\ud55c\uad70 \ubaa8\ub450\uc5d0 \uc801\uc6a9\ub418\ub294 \ud615\ud0dc\ub85c \uc815\uc2dd\ud654\ud55c\ub2e4. \uc774 \uae00\uc758 \ud6c4\ubc18\ubd80\uc5d0\uc11c \uadf8 \ud604\ub300\uc801 \ud615\ud0dc\ub97c \uc99d\uba85\ud560 \uac83\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"Cayley, A. (1854). \u201cOn the Theory of Groups, as Depending on the Symbolic Equation \\(\\theta^n=1\\).\u201d Philosophical Magazine, series 4, 7, 40\u201347.\" href=\"#ref-Cayley1854\">[Cayley1854]<\/a><a class=\"math-abs-series-ref\" title=\"Milne, J. S. (2025). Group Theory, v4.01. PDF.\" href=\"#ref-Milne2025\">[Milne2025]<\/a><\/p>\n<p>1872\ub144 \ud3a0\ub9ad\uc2a4 \ud074\ub77c\uc778(Felix Klein)\uc740 \uc5d0\ub97c\ub791\uac90 \ub300\ud559 \uad50\uc218 \ucde8\uc784\uc744 \uc704\ud574 \u201cVergleichende Betrachtungen \u00fcber neuere geometrische Forschungen\u201d\uc774\ub77c\ub294 \ud504\ub85c\uadf8\ub7a8 \ubb38\uc11c\ub97c \uc791\uc131\ud574 \ubc30\ud3ec\ud588\ub2e4. \uc774 \uae00\uc740 \uc2e4\uc81c \ucde8\uc784 \uac15\uc5f0\uc5d0\uc11c \ub0ad\ub3c5\ub418\uc9c0\ub294 \uc54a\uc558\uc9c0\ub9cc \ud6d7\ub0a0 \u2018\uc5d0\ub97c\ub791\uac90 \ud504\ub85c\uadf8\ub7a8(Erlangen program)\u2019\uc73c\ub85c \uc54c\ub824\uc84c\ub2e4. \ud074\ub77c\uc778\uc774 \uc81c\uc2dc\ud55c \uc77c\ubc18 \ubb38\uc81c\ub294 \ud558\ub098\uc758 \uacf5\uac04\uacfc \uadf8 \uc704\uc5d0 \uc791\uc6a9\ud558\ub294 \ubcc0\ud658\uad70\uc774 \uc8fc\uc5b4\uc84c\uc744 \ub54c, \uadf8 \ubcc0\ud658\ub4e4 \uc544\ub798\uc5d0\uc11c \ubcc0\ud558\uc9c0 \uc54a\ub294 \ub3c4\ud615\uc758 \uc131\uc9c8\uc744 \uc5f0\uad6c\ud558\ub294 \uac83\uc774\uc5c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Klein, F. (1872\/1893). \u201cA Comparative Review of Recent Researches in Geometry.\u201d M. W. Haskell \ubc88\uc5ed. arXiv:0807.3161.\" href=\"#ref-Klein1872\">[Klein1872]<\/a><\/p>\n<p>\uc5ec\uae30\uc11c \uc0ac\uc6a9\ub41c \uad70\uc740 \uc6d0\uc18c\uc758 \uc885\ub958\uc640 \ubb34\uad00\ud55c \ud604\ub300\uc758 \ucd94\uc0c1 \uacf5\ub9ac\uad70\uc774\ub77c\uae30\ubcf4\ub2e4 \uacf5\uac04\uc5d0 \uad6c\uccb4\uc801\uc73c\ub85c \uc791\uc6a9\ud558\ub294 \ubcc0\ud658\ub4e4\uc758 \uad70\uc774\uc5c8\ub2e4. \ub530\ub77c\uc11c \uae30\ud558\ud559\uc744 \uacb0\uc815\ud558\ub294 \uac83\uc740 \ucd94\uc0c1\uad70 \ud558\ub098\ub9cc\uc774 \uc544\ub2c8\ub77c \uacf5\uac04\uacfc \uadf8 \uc704\uc758 \uad70 \uc791\uc6a9\uc774\ub2e4. \ud074\ub77c\uc778\uc758 \uad00\uc810\uc740 \uc5ec\ub7ec \uace0\uc804 \uae30\ud558\ud559\uc744 \ubcc0\ud658\uad70\uacfc \ubd88\ubcc0\ub7c9\uc744 \ud1b5\ud574 \ube44\uad50\ud558\uace0 \uc870\uc9c1\ud558\ub294 \uac15\ub825\ud55c \ud2c0\uc744 \uc81c\uacf5\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Gray, J., &amp; Ferreir\u00f3s, J. (2025). \u201cEpistemology of Geometry.\u201d The Stanford Encyclopedia of Philosophy (Winter 2025 ed.).\" href=\"#ref-GrayFerreiros2025\">[GrayFerreiros2025]<\/a><a class=\"math-abs-series-ref\" title=\"Klein, F. (1872\/1893). \u201cA Comparative Review of Recent Researches in Geometry.\u201d M. W. Haskell \ubc88\uc5ed. arXiv:0807.3161.\" href=\"#ref-Klein1872\">[Klein1872]<\/a><\/p>\n<p>\ud604\ub300\uc801\uc778 \ubd84\ub958 \uad00\ub840\ub97c \uc0ac\uc6a9\ud574 \uc774 \uc0dd\uac01\uc744 \uc608\uc2dc\ud558\uba74 \ub2e4\uc74c\uacfc \uac19\ub2e4. \ubcc0\ud658\uad70\uc774 \ucee4\uc9c8\uc218\ub85d \uc77c\ubc18\uc801\uc73c\ub85c \ubcf4\uc874\ub418\ub294 \uc131\uc9c8\uc740 \uc904\uc5b4\ub4e0\ub2e4.<\/p>\n<ul>\n<li><strong>\uc720\ud074\ub9ac\ub4dc \uae30\ud558\ud559<\/strong>: \ud3c9\uba74\uc758 \ub4f1\uac70\ub9ac\ubcc0\ud658 \uc544\ub798\uc5d0\uc11c \uae38\uc774\uc640 \uac01\ub3c4, \uacb0\ud569 \uad00\uacc4\uac00 \ubcf4\uc874\ub41c\ub2e4.<\/li>\n<li><strong>\uc544\ud540 \uae30\ud558\ud559<\/strong>: \uc544\ud540\ubcc0\ud658 \uc544\ub798\uc5d0\uc11c \uae38\uc774\uc640 \uac01\ub3c4\ub294 \uc77c\ubc18\uc801\uc73c\ub85c \ubcf4\uc874\ub418\uc9c0 \uc54a\uc9c0\ub9cc, \uacf5\uc120\uc131, \ud3c9\ud589\uc131 \ubc0f \uac19\uc740 \uc9c1\uc120 \uc704 \uc120\ubd84\ub4e4\uc758 \ube44\ub294 \ubcf4\uc874\ub41c\ub2e4.<\/li>\n<li><strong>\uc0ac\uc601 \uae30\ud558\ud559<\/strong>: \uc0ac\uc601\ubcc0\ud658 \uc544\ub798\uc5d0\uc11c \ud3c9\ud589\uc131\uc740 \uc77c\ubc18\uc801\uc73c\ub85c \ubcf4\uc874\ub418\uc9c0 \uc54a\uc9c0\ub9cc, \uc810\uacfc \uc9c1\uc120\uc758 \uacb0\ud569 \uad00\uacc4 \ubc0f \ud55c \uc9c1\uc120 \uc704 \ub124 \uc810\uc758 \ubcf5\ube44\ub294 \ubcf4\uc874\ub41c\ub2e4.<\/li>\n<\/ul>\n<p>\uc801\uc808\ud55c \uc0ac\uc601\uc801 \ud2c0\uc5d0\uc11c \uc720\ud074\ub9ac\ub4dc \ub4f1\uac70\ub9ac\ubcc0\ud658\uad70\uc740 \uc544\ud540\ubcc0\ud658\uad70\uc758 \ubd80\ubd84\uad70\uc774\uace0, \uc544\ud540\ubcc0\ud658\uad70\uc740 \uc0ac\uc601\ubcc0\ud658\uad70\uc758 \ubd80\ubd84\uad70\uc73c\ub85c \ubcfc \uc218 \uc788\ub2e4. \uc774 \ud3ec\ud568 \uad00\uacc4\ub294 \uc5ec\ub7ec \uace0\uc804 \uae30\ud558\ud559 \uc0ac\uc774\uc758 \uad00\uacc4\ub97c \uccb4\uacc4\uc801\uc73c\ub85c \ube44\uad50\ud558\uac8c \ud574 \uc900\ub2e4. <!-- \uadf8\ub7ec\ub098 \uc774 \ub3c4\uc2dd\uc740 \ud604\ub300\uc801\uc778 \uc124\uba85\uc744 \uc704\ud55c \uc608\uc774\uba70, \ud074\ub77c\uc778 \uc790\uc2e0\uc758 1872\ub144 \ubd84\ub958\uc640 \ubaa8\ub4e0 \uc138\ubd80\uac00 \uadf8\ub300\ub85c \uc77c\uce58\ud558\ub294 \uac83\uc740 \uc544\ub2c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Klein, F. (1872\/1893). \u201cA Comparative Review of Recent Researches in Geometry.\u201d M. W. Haskell \ubc88\uc5ed. arXiv:0807.3161.\" href=\"#ref-Klein1872\">[Klein1872]<\/a> --><\/p>\n<p>[\ucf00\uc77c\ub9ac\ub294 1859\ub144 \uace0\uc815\ub41c \uc774\ucc28\uace1\uc120 \ub610\ub294 \uc774\ucc28\uace1\uba74\uc744 \u2018\uc808\ub300\uc790(absolute)\u2019\ub85c \uc0bc\uace0 \uc0ac\uc601\uae30\ud558\ud559\uc758 \ubcf5\ube44\ub97c \uc774\uc6a9\ud574 \uac70\ub9ac\ub97c \uc815\uc758\ud558\ub294 \uc0ac\uc601\uc801 \uacc4\ub7c9\uc744 \uc81c\uc548\ud588\ub2e4. \ud074\ub77c\uc778\uc740 1871\ub144\uacfc 1873\ub144\uc758 \ub17c\ubb38\uc5d0\uc11c \uc774 \uad6c\uc0c1\uc744 \ubc1c\uc804\uc2dc\ucf1c, \uc2e4\uc218 \uc774\ucc28\uace1\uc120 \ub0b4\ubd80\uc5d0\uc11c\ub294 \uc30d\uace1\uae30\ud558\ud559\uc744, \ud5c8\uc218 \uc808\ub300\uc790\ub97c \uc0ac\uc6a9\ud55c \uacbd\uc6b0\uc5d0\ub294 \ud0c0\uc6d0\uae30\ud558\ud559\uc744 \uc0ac\uc601\uc801\uc73c\ub85c \ud574\uc11d\ud588\ub2e4. \uc808\ub300\uc790\ub97c \ubcf4\uc874\ud558\ub294 \uc0ac\uc601\ubcc0\ud658\ub4e4\uc740 \uc774 \uacc4\ub7c9\uc758 \ub4f1\uac70\ub9ac\ubcc0\ud658\uc744 \uc774\ub8ec\ub2e4. \uc624\ub298\ub0a0 \uc774\ub97c \ucf00\uc77c\ub9ac\u2013\ud074\ub77c\uc778 \uacc4\ub7c9\uc774\ub77c\uace0 \ubd80\ub978\ub2e4. \uc774 \uacb0\uacfc\ub294 \uc77c\uc815 \uace1\ub960\uc758 \uace0\uc804 \uae30\ud558\ud559\ub4e4\uc744 \uc0ac\uc601\uae30\ud558\ud559 \uc548\uc5d0\uc11c \uc5f0\uacb0\ud588\uc9c0\ub9cc, \ubaa8\ub4e0 \uae30\ud558\ud559\uc744 \ube60\uc9d0\uc5c6\uc774 \ubd84\ub958\ud55c \uac83\uc740 \uc544\ub2c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Cayley, A. (1859). \u201cA Sixth Memoir upon Quantics.\u201d Philosophical Transactions of the Royal Society of London, 149, 61\u201390.\" href=\"#ref-Cayley1859\">[Cayley1859]<\/a><a class=\"math-abs-series-ref\" title=\"A\u2019Campo, N., &amp; Papadopoulos, A. (2015). \u201cOn Klein\u2019s So-called Non-Euclidean Geometry.\u201d In Sophus Lie and Felix Klein: The Erlangen Program and Its Impact in Mathematics and Physics. arXiv:1406.7309.\" href=\"#ref-ACampoPapadopoulos2015\">[ACampoPapadopoulos2015]<\/a>]<\/p>\n<p>\uc774 \uc0ac\ub840\uac00 \ubcf4\uc5ec\uc8fc\ub294 \ucd94\uc0c1\ud654\uc758 \ud798\uc740 \uc0c8\ub85c\uc6b4 \ub300\uc0c1\uc744 \ub9cc\ub4dc\ub294 \ub370\ub9cc \uc788\uc9c0 \uc54a\ub2e4. \ubcc0\ud658\uad70\uacfc \ubd88\ubcc0\ub7c9\uc774\ub77c\ub294 \uacf5\ud1b5 \uc5b8\uc5b4\ub294 \uc11c\ub85c \ub2ec\ub77c \ubcf4\uc774\ub358 \uae30\ud558\ud559\ub4e4\uc744 \ube44\uad50\ud558\uace0, \ud55c \uae30\ud558\ud559\uc758 \uad6c\uc870\uac00 \ub2e4\ub978 \uae30\ud558\ud559\uc758 \uad6c\uc870\uc5d0 \uc5b4\ub5bb\uac8c \ud3ec\ud568\ub418\ub294\uc9c0 \uc124\uba85\ud558\ub294 \ub3c4\uad6c\uac00 \ub418\uc5c8\ub2e4.<\/p>\n<h4>\ub370\ub370\ud0a8\ud2b8, \uad00\uacc4\ub85c \uaddc\uc815\ub418\ub294 \uc218<\/h4>\n<p>\uae30\ud558\ud559\uacfc \uad70\ub860\uc5d0\uc11c \uc774\ub7ec\ud55c \ubcc0\ud654\uac00 \uc9c4\ud589\ub418\ub294 \ub3d9\uc548, \uc815\uc218\ub860\uacfc \ud574\uc11d\ud559\uc758 \uae30\ucd08\uc5d0\uc11c\ub3c4 \ub300\uc0c1\uc744 \uc9d1\ud569\uacfc \uad00\uacc4\ub85c \uaddc\uc815\ud558\ub294 \uc791\uc5c5\uc774 \uc774\ub8e8\uc5b4\uc9c0\uace0 \uc788\uc5c8\ub2e4.<\/p>\n<p>\ub3c5\uc77c\uc758 \uc218\ud559\uc790 \ub9ac\ud558\ub974\ud2b8 \ub370\ub370\ud0a8\ud2b8(Richard Dedekind)\ub294 \ub300\uc218\uc801 \uc815\uc218, \uc989 \ucd5c\uace0\ucc28\ud56d\uc758 \uacc4\uc218\uac00 \\(1\\)\uc778 \uc815\uc218 \uacc4\uc218 \ub2e4\ud56d\uc2dd\uc758 \uadfc\uc774 \ub418\ub294 \ubcf5\uc18c\uc218\ub97c \uc5f0\uad6c\ud588\ub2e4. \uc77c\ubc18\uc801\uc778 \uc815\uc218\uc758 \uc138\uacc4\uc5d0\uc11c\ub294 \uc18c\uc778\uc218\ubd84\ud574\uac00 \uc720\uc77c\ud558\uc9c0\ub9cc, \uc77c\ubd80 \ub300\uc218\uc801 \uc218\uccb4\uc758 \uc815\uc218\ud658\uc5d0\uc11c\ub294 \uc6d0\uc18c\uc758 \uae30\uc57d\ubd84\ud574\uac00 \uc720\uc77c\ud558\uc9c0 \uc54a\uc744 \uc218 \uc788\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dedekind, R. (1871\/2004). \u201cDedekind\u2019s 1871 Version of the Theory of Ideals.\u201d J. Avigad \uc601\uc5b4 \ubc88\uc5ed \ubc0f \uc8fc\uc11d. Carnegie Mellon University Technical Report CMU-PHIL-162. PDF.\" href=\"#ref-Dedekind1871\">[Dedekind1871]<\/a><a class=\"math-abs-series-ref\" title=\"Reck, E. (2025). \u201cDedekind\u2019s Contributions to the Foundations of Mathematics.\u201d The Stanford Encyclopedia of Philosophy.\" href=\"#ref-Reck2025\">[Reck2025]<\/a><\/p>\n<p>\uc608\ub97c \ub4e4\uc5b4<br \/>\n\\[<br \/>\n\\mathbb Z \\left[ \\sqrt{-5} \\right] = \\{a+b\\sqrt{-5}\\,:\\,a,b\\in\\mathbb Z\\}<br \/>\n\\]<br \/>\n\uc5d0\uc11c<br \/>\n\\[<br \/>\n6=2\\cdot3= \\left( 1+\\sqrt{-5} \\right) \\left( 1-\\sqrt{-5} \\right)<br \/>\n\\]<br \/>\n\ub77c\ub294 \uc11c\ub85c \ub2e4\ub978 \ub450 \uae30\uc57d\ubd84\ud574\uac00 \uc874\uc7ac\ud55c\ub2e4. \ub178\ub984 \\(N(a+b\\sqrt{-5})=a^2+5b^2\\)\uc744 \uc0ac\uc6a9\ud558\uba74 \\(2\\), \\(3\\), \\(1+\\sqrt{-5}\\), \\(1-\\sqrt{-5}\\)\uac00 \ubaa8\ub450 \uae30\uc57d\uc6d0\uc18c\uc774\uba70 \uc11c\ub85c \ub3d9\ubc18\uc6d0 \uad00\uacc4\uac00 \uc544\ub2c8\ub77c\ub294 \uc0ac\uc2e4\uc744 \ud655\uc778\ud560 \uc218 \uc788\ub2e4.<a class=\"math-abs-series-ref\" title=\"Chapman, S. T., Gotti, F., &amp; Gotti, M. (2019). \u201cHow Do Elements Really Factor in \\(\\mathbb Z[\\sqrt{-5}]\\)?\u201d In Advances in Commutative Algebra, 171\u2013195. arXiv:1711.10842.\" href=\"#ref-ChapmanEtAl2019\">[ChapmanEtAl2019]<\/a><\/p>\n<p>\uc5d0\ub978\uc2a4\ud2b8 \ucfe0\uba38(Ernst Kummer)\ub294 \uba3c\uc800 \uc6d0\ubd84\uccb4\uc758 \uc815\uc218\ud658\uc5d0\uc11c \ubd84\ud574\uc758 \uc720\uc77c\uc131\uc744 \ud68c\ubcf5\ud558\uae30 \uc704\ud574 \u2018\uc774\uc0c1\uc218(ideal number)\u2019\ub97c \ub3c4\uc785\ud588\ub2e4. \uc774\ub294 \ub2e8\uc21c\ud55c \uc784\uc2dc\ubcc0\ud1b5\uc774\ub77c\uae30\ubcf4\ub2e4 \uae4a\uc740 \uacc4\uc0b0 \uc774\ub860\uc774\uc5c8\uc9c0\ub9cc, \uc774\uc0c1\uc218\ub97c \ubcf4\ud1b5\uc758 \ub300\uc218\uc801 \uc815\uc218\uc640 \uac19\uc740 \uba85\uc2dc\uc801\uc778 \ub300\uc0c1\uc73c\ub85c \ub2e4\ub8e8\uae30 \uc5b4\ub835\ub2e4\ub294 \ubb38\uc81c\uac00 \uc788\uc5c8\ub2e4. \ub370\ub370\ud0a8\ud2b8\ub294 1871\ub144 \ub514\ub9ac\ud074\ub808\uc758 \uc815\uc218\ub860 \uac15\uc758\ub85d \uc81c2\ud310 \ubd80\ub85d\uc5d0\uc11c \uc544\uc774\ub514\uc5bc \uc774\ub860\uc744 \ucc98\uc74c \uc81c\uc2dc\ud558\uace0 \uc774\ud6c4 \uc5ec\ub7ec \ucc28\ub840 \uc218\uc815\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dedekind, R. (1871\/2004). \u201cDedekind\u2019s 1871 Version of the Theory of Ideals.\u201d J. Avigad \uc601\uc5b4 \ubc88\uc5ed \ubc0f \uc8fc\uc11d. Carnegie Mellon University Technical Report CMU-PHIL-162. PDF.\" href=\"#ref-Dedekind1871\">[Dedekind1871]<\/a><a class=\"math-abs-series-ref\" title=\"Reck, E. (2025). \u201cDedekind\u2019s Contributions to the Foundations of Mathematics.\u201d The Stanford Encyclopedia of Philosophy.\" href=\"#ref-Reck2025\">[Reck2025]<\/a><\/p>\n<p>\ud604\ub300\uc801\uc778 \uac00\ud658\ud658 \\(R\\)\uc5d0\uc11c <span class=\"defined\">\uc544\uc774\ub514\uc5bc<\/span>(ideal) \\(I\\)\ub294 \ub367\uc148\uc5d0 \uad00\ud574 \ubd80\ubd84\uad70\uc744 \uc774\ub8e8\uace0, \ubaa8\ub4e0 \\(r\\in R\\)\uc640 \\(x\\in I\\)\uc5d0 \ub300\ud574 \\(rx\\in I\\)\ub97c \ub9cc\uc871\ud558\ub294 \ubd80\ubd84\uc9d1\ud569\uc774\ub2e4. \uc989 \ub367\uc148\uacfc \ub367\uc148\uc758 \uc5ed\uc6d0\uc5d0 \ub300\ud574 \ub2eb\ud600 \uc788\uc73c\uba70 \ud658\uc758 \uc6d0\uc18c\ub97c \uacf1\ud558\uba74 \uadf8 \uc548\uc5d0 \ud761\uc218\ub41c\ub2e4. \uc218\uccb4\uc758 \uc815\uc218\ud658\ucc98\ub7fc \ub370\ub370\ud0a8\ud2b8 \uc815\uc5ed\uc774 \ub418\ub294 \ud658\uc5d0\uc11c\ub294 0\uc774 \uc544\ub2cc \uace0\uc720 \uc544\uc774\ub514\uc5bc\uc774 \uc18c\uc544\uc774\ub514\uc5bc\ub4e4\uc758 \uacf1\uc73c\ub85c \uc720\uc77c\ud558\uac8c \ubd84\ud574\ub41c\ub2e4. \uc6d0\uc18c\uc758 \uc720\uc77c\ubd84\ud574\uac00 \uc2e4\ud328\ud55c \uacf3\uc5d0\uc11c\ub3c4 \uc544\uc774\ub514\uc5bc\uc758 \uc720\uc77c\ubd84\ud574\uac00 \ud68c\ubcf5\ub418\ub294 \uac83\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dedekind, R. (1871\/2004). \u201cDedekind\u2019s 1871 Version of the Theory of Ideals.\u201d J. Avigad \uc601\uc5b4 \ubc88\uc5ed \ubc0f \uc8fc\uc11d. Carnegie Mellon University Technical Report CMU-PHIL-162. PDF.\" href=\"#ref-Dedekind1871\">[Dedekind1871]<\/a><\/p>\n<p>1872\ub144 \ub370\ub370\ud0a8\ud2b8\ub294 \uc2e4\uc218\ub97c \uc5c4\ubc00\ud558\uac8c \uad6c\uc131\ud558\ub294 \ubb38\uc81c\uc5d0\ub3c4 \uc9d1\ud569\ub860\uc801\uc778 \ud0dc\ub3c4\ub85c \uc811\uadfc\ud588\ub2e4. \ud55c \uac00\uc9c0 \ud45c\uc900\uc801 \ud45c\ud604\uc5d0 \ub530\ub974\uba74 <span class=\"defined\">\ub370\ub370\ud0a8\ud2b8 \uc808\ub2e8<\/span>(Dedekind cut)\uc740 \uc720\ub9ac\uc218 \uc9d1\ud569 \\(\\mathbb Q\\)\uc758 \uacf5\uc9d1\ud569\ub3c4 \uc804\uccb4 \uc9d1\ud569\ub3c4 \uc544\ub2cc \ubd80\ubd84\uc9d1\ud569 \\(A\\)\ub85c\uc11c, \uc544\ub798\ub85c \ub2eb\ud600 \uc788\uace0 \uac00\uc7a5 \ud070 \uc6d0\uc18c\ub97c \uac16\uc9c0 \uc54a\ub294\ub2e4. \uac01 \uc808\ub2e8\uc744 \ud558\ub098\uc758 \uc2e4\uc218\ub85c \ubcf4\uace0 \uc21c\uc11c\uc640 \uc5f0\uc0b0\uc744 \uc815\uc758\ud558\uba74 \uc644\ube44\uc21c\uc11c\uccb4\uac00 \uad6c\uc131\ub41c\ub2e4. \ucf54\uc2dc \uc218\uc5f4\uc758 \ub3d9\uce58\ub958\ub97c \uc774\uc6a9\ud55c \uad6c\uc131\uacfc \uc808\ub2e8 \uad6c\uc131\uc740 \uc6d0\uc18c\uc758 \uc7ac\ub8cc\uac00 \uac19\uc9c0\ub294 \uc54a\uc9c0\ub9cc, \ub458 \ub2e4 \uc644\ube44\uc21c\uc11c\uccb4\ub97c \uc774\ub8e8\uba70 \uadf8 \uad6c\uc870\ub294 \ub3d9\ud615\uc774\ub77c\ub294 \uc758\ubbf8\uc5d0\uc11c \ub3d9\uc77c\ud55c \uc2e4\uc218 \uccb4\uacc4\uc5d0 \ub3c4\ub2ec\ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dedekind, R. (1901). Essays on the Theory of Numbers. W. W. Beman \ubc88\uc5ed. \u201cContinuity and Irrational Numbers\u201d \ubc0f \u201cThe Nature and Meaning of Numbers\u201d \uc218\ub85d. Project Gutenberg.\" href=\"#ref-Dedekind1901\">[Dedekind1901]<\/a><\/p>\n<p>\ub370\ub370\ud0a8\ud2b8\ub294 1888\ub144 \u201c\uc218\ub780 \ubb34\uc5c7\uc774\uace0 \ubb34\uc5c7\uc774\uc5b4\uc57c \ud558\ub294\uac00\u201d(<i>Was sind und was sollen die Zahlen?<\/i>)\uc5d0\uc11c \u201c\uc218\ub294 \uc778\uac04 \uc815\uc2e0\uc758 \uc790\uc720\ub85c\uc6b4 \ucc3d\uc870\ubb3c\uc774\ub2e4\u201d\ub77c\uace0 \uc37c\ub2e4. <!-- \uc774 \ubb38\uc7a5\uc740 \uc2e4\uc81c\ub85c \uc874\uc7ac\ud558\uc9c0\ub9cc, \uace7\ubc14\ub85c \uc624\ub298\ub0a0\uc758 \uc218\ud559\uc801 \uad6c\uc870\uc8fc\uc758 \uc804\uccb4\ub97c \uc120\uc5b8\ud55c \ubb38\uc7a5\uc73c\ub85c \uc77d\uc73c\uba74 \uc2dc\ub300\ucc29\uc624\uc801\uc774\ub2e4. --> \ub370\ub370\ud0a8\ud2b8\uc758 \uc9c1\uc811\uc801\uc778 \ubaa9\ud45c\ub294 \uc0b0\uc220\uc744 \uae30\ud558\ud559\uc801 \uc9c1\uad00\uacfc \ub3c5\ub9bd\uc2dc\ud0a4\uace0, \uc790\uc5f0\uc218\ub97c \ub2e8\uc21c \ubb34\ud55c\uacc4\uc640 \uc0ac\uc0c1\uc758 \uad00\uacc4\ub97c \ud1b5\ud574 \ub17c\ub9ac\uc801\uc73c\ub85c \uad6c\uc131\ud558\ub294 \uac83\uc774\uc5c8\ub2e4. <!-- \uadf8\uc758 \uc791\uc5c5\uc740 \uc774\ud6c4 \uad6c\uc870\uc8fc\uc758\uc801 \ud574\uc11d\uc758 \uc911\uc694\ud55c \uc120\uad6c\uac00 \ub418\uc5c8\uc9c0\ub9cc, \ub370\ub370\ud0a8\ud2b8 \uc790\uc2e0\uc758 \ub17c\ub9ac\uc8fc\uc758\uc801\uc774\uace0 \uc9d1\ud569\ub860\uc801\uc778 \uae30\ud68d\uacfc \ud6c4\ub300\uc758 \uc5ec\ub7ec \uad6c\uc870\uc8fc\uc758\ub97c \uad6c\ubcc4\ud560 \ud544\uc694\uac00 \uc788\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dedekind, R. (1901). Essays on the Theory of Numbers. W. W. Beman \ubc88\uc5ed. \u201cContinuity and Irrational Numbers\u201d \ubc0f \u201cThe Nature and Meaning of Numbers\u201d \uc218\ub85d. Project Gutenberg.\" href=\"#ref-Dedekind1901\">[Dedekind1901]<\/a><a class=\"math-abs-series-ref\" title=\"Reck, E. (2025). \u201cDedekind\u2019s Contributions to the Foundations of Mathematics.\u201d The Stanford Encyclopedia of Philosophy.\" href=\"#ref-Reck2025\">[Reck2025]<\/a> --><\/p>\n<h4>\ud790\ubca0\ub974\ud2b8, \uacf5\ub9ac\ub85c \uad6c\uc870\ub97c \uaddc\uc815\ud558\ub2e4<\/h4>\n<p>\ub370\ub370\ud0a8\ud2b8\uc758 \uc791\uc5c5\uc774 \uc218\uc640 \uc544\uc774\ub514\uc5bc\uc744 \uad00\uacc4\uc640 \uc9d1\ud569\uc744 \ud1b5\ud574 \uad6c\uc131\ud588\ub2e4\uba74, \ub2e4\ube44\ud2b8 \ud790\ubca0\ub974\ud2b8(David Hilbert)\uc758 1899\ub144 \u201c\uae30\ud558\ud559\uc758 \uae30\ucd08\u201d(<i>Grundlagen der Geometrie<\/i>)\ub294 \uae30\ud558\ud559\uc758 \uae30\ubcf8 \ub300\uc0c1\uacfc \uad00\uacc4\ub97c \uacf5\ub9ac \uccb4\uacc4 \uc548\uc5d0\uc11c \uc870\uc9c1\ud588\ub2e4.<\/p>\n<p><!-- \ud790\ubca0\ub974\ud2b8\uc758 \ubaa9\ud45c\ub97c \uc720\ud074\ub9ac\ub4dc \u201c\uc6d0\ub860\u201d \uba85\uc81c 1\uc758 \uc6d0 \uad50\ucc28 \ubb38\uc81c \ud558\ub098\ub97c \ubcf4\uc644\ud558\ub294 \uac83\uc73c\ub85c \uc881\ud600\uc11c\ub294 \uc548 \ub41c\ub2e4. --> \ud790\ubca0\ub974\ud2b8\ub294 \uc810, \uc9c1\uc120, \ud3c9\uba74\uacfc \uadf8 \uad00\uacc4\ub97c \uc704\ud55c \uacf5\ub9ac\ub4e4\uc744 \uacb0\ud569, \uc21c\uc11c, \ud569\ub3d9, \ud3c9\ud589, \uc5f0\uc18d\uc758 \uc5ec\ub7ec \uad70\uc73c\ub85c \uccb4\uacc4\ud654\ud558\uace0, \uadf8 \uacf5\ub9ac\ub4e4\uc758 \ubb34\ubaa8\uc21c\uc131\uacfc \ub3c5\ub9bd\uc131 \ub4f1\uc744 \uc5f0\uad6c\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Hilbert, D. (1902). The Foundations of Geometry. E. J. Townsend \ubc88\uc5ed. PDF.\" href=\"#ref-Hilbert1902\">[Hilbert1902]<\/a> \ud310\ubcf8\ub3c4 \uad6c\ubcc4\ud560 \ud544\uc694\uac00 \uc788\ub2e4. 1899\ub144 \ucd08\ud310\uc758 \uc5f0\uc18d\uc131 \uad70\uc5d0\ub294 \uc544\ub974\ud0a4\uba54\ub370\uc2a4 \uacf5\ub9ac\ub9cc \uc788\uc5c8\uace0, \uc644\uc804\uc131 \uacf5\ub9ac\ub294 1900\ub144 \ud504\ub791\uc2a4\uc5b4\ud310\uc5d0\uc11c \ucd94\uac00\ub418\uc5c8\ub2e4. \uc720\ud074\ub9ac\ub4dc\uc758 \uba85\uc81c 1\uc5d0\uc11c \ub450 \uc6d0\uc774 \ub9cc\ub09c\ub2e4\uace0 \ucd94\ub860\ud558\ub294 \ub370 \ucd94\uac00\uc801\uc778 \uc5f0\uc18d\uc131 \uc6d0\ub9ac\uac00 \ud544\uc694\ud558\ub2e4\ub294 \uac83\uc740 \uace0\ub300 \uc99d\uba85\uc5d0 \uc228\uc5b4 \uc788\ub294 \ub3c4\ud615\uc801 \uc804\uc81c\uc758 \ub300\ud45c\uc801\uc778 \uc608\ub2e4. <!-- \uadf8\ub7ec\ub098 \ud30c\uc288\uc758 \uacf5\ub9ac\ub294 \uc8fc\ub85c \uc9c1\uc120\uacfc \uc0bc\uac01\ud615\uc758 \uad50\ucc28 \ubc0f \uc810\uc758 \uc0ac\uc774 \uad00\uacc4\ub97c \ub2e4\ub8e8\ubbc0\ub85c, \ud30c\uc288\uc758 \uacf5\ub9ac \uc790\uccb4\uac00 \uc6d0\uc758 \uad50\ucc28\ub97c \uace7\ubc14\ub85c \ubcf4\uc7a5\ud55c\ub2e4\uace0 \ud574\uc11c\ub294 \uc548 \ub41c\ub2e4. \uc6d0\uc758 \uad50\ucc28\uc5d0\ub294 \uc801\uc808\ud55c \uc6d0-\uc5f0\uc18d\uc131 \ub610\ub294 \uadf8\ubcf4\ub2e4 \uac15\ud55c \uc5f0\uc18d\uc131 \uc6d0\ub9ac\uac00 \ud544\uc694\ud558\ub2e4.<a class=\"math-abs-series-ref\" title=\"Avigad, J., Dean, E., &amp; Mumma, J. (2009). \u201cA Formal System for Euclid\u2019s Elements.\u201d The Review of Symbolic Logic, 2(4), 700\u2013768.\" href=\"#ref-AvigadEtAl2009\">[AvigadEtAl2009]<\/a> --><\/p>\n<p>\ud790\ubca0\ub974\ud2b8\ub294 \uc810, \uc9c1\uc120, \ud3c9\uba74\uc744 \uba3c\uc800 \uc77c\uc0c1\uc801 \ub610\ub294 \ubb3c\ub9ac\uc801\uc73c\ub85c \uc815\uc758\ud55c \ub4a4 \uacf5\ub9ac\ub97c \ud655\uc778\ud558\uc9c0 \uc54a\uc558\ub2e4. \uae30\ubcf8 \ub300\uc0c1\ub4e4\uc758 \uc138 \uccb4\uacc4\uc640 \u2018\uc704\uc5d0 \uc788\ub2e4\u2019, \u2018\uc0ac\uc774\uc5d0 \uc788\ub2e4\u2019, \u2018\ud569\ub3d9\uc774\ub2e4\u2019 \uac19\uc740 \uae30\ubcf8 \uad00\uacc4\ub97c \ub450\uace0, \uc774\ub4e4\uc774 \ub9cc\uc871\ud574\uc57c \ud560 \uacf5\ub9ac\ub97c \uc81c\uc2dc\ud588\ub2e4. \uc774\ub7f0 \uae30\ucd08 \ud45c\ud604\uc744 \uc624\ub298\ub0a0 \ud754\ud788 <span class=\"defined\">\ubb34\uc815\uc758 \uc6a9\uc5b4<\/span>(undefined term)\ub77c\uace0 \ubd80\ub978\ub2e4. \uacf5\ub9ac\ub4e4\uc740 \ud55c \ub300\uc0c1\uc758 \uc7ac\ub8cc\ub97c \uc9c0\uc815\ud558\uae30\ubcf4\ub2e4 \uac00\ub2a5\ud55c \ud574\uc11d\ub4e4\uc774 \uacf5\uc720\ud574\uc57c \ud560 \uad00\uacc4 \uad6c\uc870\ub97c \uaddc\uc815\ud55c\ub2e4. \uc774\ub7ec\ud55c \uce21\uba74\uc744 \uacf5\ub9ac\uc5d0 \uc758\ud55c <span class=\"defined\">\uc554\ubb35\uc801 \uc815\uc758<\/span>(implicit definition)\ub77c\uace0 \uc124\uba85\ud560 \uc218 \uc788\ub2e4.<a class=\"math-abs-series-ref\" title=\"Hilbert, D. (1902). The Foundations of Geometry. E. J. Townsend \ubc88\uc5ed. PDF.\" href=\"#ref-Hilbert1902\">[Hilbert1902]<\/a><a class=\"math-abs-series-ref\" title=\"Blanchette, P. (2024). \u201cThe Frege\u2013Hilbert Controversy.\u201d The Stanford Encyclopedia of Philosophy (Spring 2024 ed.).\" href=\"#ref-Blanchette2024\">[Blanchette2024]<\/a><\/p>\n<p>\uc774\uc640 \uad00\ub828\ud558\uc5ec \ud790\ubca0\ub974\ud2b8\uac00 \u201c\uc810, \uc9c1\uc120, \ud3c9\uba74 \ub300\uc2e0 \ucc45\uc0c1, \uc758\uc790, \ub9e5\uc8fc\uc794\uc774\ub77c\uace0 \ub9d0\ud560 \uc218 \uc788\uc5b4\uc57c \ud55c\ub2e4\u201d\ub294 \ucde8\uc9c0\ub85c \ub9d0\ud588\ub2e4\ub294 \uc720\uba85\ud55c \uc77c\ud654\uac00 \uc788\ub2e4.<\/p>\n<p>\uc774 \ubb38\uc7a5\uc740 \ud790\ubca0\ub974\ud2b8\uc758 \u201c\uae30\ud558\ud559\uc758 \uae30\ucd08\u201d\uc5d0 \uc2e4\ub9b0 \uc9c1\uc811 \uc778\uc6a9\ubb38\uc774 \uc544\ub2c8\ub2e4. \uadf8\uc758 \uc81c\uc790 \uc624\ud1a0 \ube14\ub8e8\uba58\ud0c8(Otto Blumenthal)\uc740 1935\ub144 \uc804\uae30\uc801 \uae00\uc758 p. 403\uc5d0\uc11c, \ud790\ubca0\ub974\ud2b8\uac00 1891\ub144 \ubca0\ub97c\ub9b0 \uc5ed \ub300\ud569\uc2e4\uc5d0\uc11c \uc544\ub974\ud22c\uc5b4 \uc1e4\ud50c\ub9ac\uc2a4\uc640 \uc5d0\ub978\uc2a4\ud2b8 \ucfa8\ud130\uc640 \uae30\ud558\ud559\uc758 \uae30\ucd08\ub97c \ub17c\uc758\ud558\uba70 \uc774\ub7f0 \ucde8\uc9c0\ub85c \ub9d0\ud588\ub2e4\uace0 \ud68c\uace0\ud55c\ub2e4. <!-- \ub530\ub77c\uc11c \uc774 \ubb38\uad6c\ub294 \ud790\ubca0\ub974\ud2b8\uc758 \uacf5\ub9ac\uc801 \ud0dc\ub3c4\ub97c \uc694\uc57d\ud558\ub294 \ud6c4\ub300 \uc804\uc5b8\uc73c\ub85c \uc778\uc6a9\ud558\ub418, \ucc45\uc758 \uc6d0\ubb38\ucc98\ub7fc \uc81c\uc2dc\ud574\uc11c\ub294 \uc548 \ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Blumenthal, O. (1935). \u201cLebensgeschichte von David Hilbert.\u201d In D. Hilbert, Gesammelte Abhandlungen, Bd. III, 388\u2013429. Berlin: Julius Springer. EuDML.\" href=\"#ref-Blumenthal1935\">[Blumenthal1935]<\/a> --><\/p>\n<p>\uc774 \uc77c\ud654\uc758 \uc694\uc810\uc740, \uc77c\uc0c1 \uc0ac\ubb3c\uc744 \uc2e4\uc81c \uacf5\uac04\uc5d0 \ud2b9\uc815\ud558\uac8c \ubc30\uce58\ud55c\ub2e4\uace0 \ud574\uc11c \uadf8\ub300\ub85c \ud790\ubca0\ub974\ud2b8 \uae30\ud558\ud559\uc774 \ub418\uc9c0\ub294 \uc54a\ub294\ub2e4\ub294 \uac83\uc774\ub2e4. \ubaa8\ud615\uc740 \ub300\uc0c1\ub4e4\uc758 \uc9d1\ud569\uacfc \uadf8 \uc704\uc5d0\uc11c \ud574\uc11d\ub41c \uad00\uacc4\ub4e4\ub85c \uc774\ub8e8\uc5b4\uc9c4\ub2e4. \uc5b4\ub5a4 \uc9d1\ud569\uacfc \uad00\uacc4\uac00 \uacf5\ub9ac\ub97c \ubaa8\ub450 \ucc38\uc73c\ub85c \ub9cc\ub4e4\uba74 \uadf8\uac83\uc740 \uadf8 \uacf5\ub9ac\uacc4\uc758 \ubaa8\ud615\uc774\ub2e4. \uc11c\ub85c \uc804\ud600 \ub2e4\ub978 \uc7ac\ub8cc\ub85c \ub9cc\ub4e0 \ubaa8\ud615\ub4e4\ub3c4 \uac19\uc740 \uacf5\ub9ac \uad6c\uc870\ub97c \uac00\uc9c8 \uc218 \uc788\ub2e4. <!-- \ub530\ub77c\uc11c \uacf5\ub9ac\uac00 \ub300\uc0c1\uc744 \ubb38\uc790 \uadf8\ub300\ub85c \u2018\ucc3d\uc870\ud55c\ub2e4\u2019\uace0 \ud558\uae30\ubcf4\ub2e4, \uacf5\ub9ac\ub4e4\uc774 \ud5c8\uc6a9\ub418\ub294 \uad6c\uc870\uc758 \uc885\ub958\ub97c \uaddc\uc815\ud558\uace0 \uac01 \ubaa8\ud615\uc774 \uadf8 \uad6c\uc870\ub97c \uc2e4\ud604\ud55c\ub2e4\uace0 \ub9d0\ud558\ub294 \ud3b8\uc774 \uc815\ud655\ud558\ub2e4.<a class=\"math-abs-series-ref\" title=\"Blanchette, P. (2024). \u201cThe Frege\u2013Hilbert Controversy.\u201d The Stanford Encyclopedia of Philosophy (Spring 2024 ed.).\" href=\"#ref-Blanchette2024\">[Blanchette2024]<\/a> --><\/p>\n<h4>\ud504\ub808\uac8c\uc640 \ud790\ubca0\ub974\ud2b8\uc758 \ub17c\uc7c1<\/h4>\n<p>\uacf5\ub9ac\ub97c \uc0ac\uc6a9\ud558\uc5ec \ub300\uc0c1\uc744 \uc554\ubb35\uc801\uc73c\ub85c \uc815\uc758\ud55c\ub2e4\ub294 \uc0c8\ub85c\uc6b4 \uad00\uc810\uc744 \ud5a5\ud574 \uac00\uc7a5 \ub0a0\uce74\ub86d\uac8c \ubc18\uc751\ud55c \uc0ac\ub78c \uac00\uc6b4\ub370 \ud558\ub098\uac00 \ub17c\ub9ac\uc8fc\uc758\uc790 \uace0\ud2c0\ub85c\ud504 \ud504\ub808\uac8c(Gottlob Frege)\uc600\ub2e4. \ud504\ub808\uac8c\uc640 \ud790\ubca0\ub974\ud2b8\ub294 1899\ub144 12\uc6d4\ubd80\ud130 1900\ub144 9\uc6d4\uae4c\uc9c0 \uc11c\uc2e0\uc744 \uc8fc\uace0\ubc1b\uc558\ub2e4. \ud504\ub808\uac8c\uc5d0\uac8c \uacf5\ub9ac\ub294 \uc774\ubbf8 \uc758\ubbf8\uac00 \uc815\ud574\uc9c4 \ud45c\ud604\ub4e4\ub85c \uc774\ub8e8\uc5b4\uc9c4 \ucc38\uc778 \uc0ac\uc0c1\uc774\uc5c8\ub2e4. \uadf8\ub294 \uac19\uc740 \ubb38\uc7a5\uc774 \uc11c\ub85c \ub2e4\ub978 \ud574\uc11d\uc744 \ubc1b\ub294 \ubc29\uc2dd, \uadf8\ub9ac\uace0 \uacf5\ub9ac\uacc4\uc758 \ubb34\ubaa8\uc21c\uc131\uc744 \ud1b5\ud574 \uadf8 \uacf5\ub9ac\ub97c \ub9cc\uc871\ud558\ub294 \ub300\uc0c1\uc758 \uc874\uc7ac\ub97c \ubcf4\uc778\ub2e4\ub294 \ud790\ubca0\ub974\ud2b8\uc758 \uc124\uba85\uc5d0 \ubc18\ub300\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Blanchette, P. (2024). \u201cThe Frege\u2013Hilbert Controversy.\u201d The Stanford Encyclopedia of Philosophy (Spring 2024 ed.).\" href=\"#ref-Blanchette2024\">[Blanchette2024]<\/a><\/p>\n<p>\ud790\ubca0\ub974\ud2b8\ub294 \uacf5\ub9ac\ub4e4\uc744 \ud568\uaed8 \ud574\uc11d\ub420 \uc218 \uc788\ub294 \uad00\uacc4 \uccb4\uacc4\ub85c \ubcf4\uc558\uace0, \uc801\uc808\ud55c \uc218\ud559\uc801 \ub9e5\ub77d\uc5d0\uc11c\ub294 \ubb34\ubaa8\uc21c\uc131\uc774 \uc874\uc7ac\ub97c \ubcf4\uc7a5\ud55c\ub2e4\ub294 \uc785\uc7a5\uc744 \ucde8\ud588\ub2e4. \uc989 \ud504\ub808\uac8c\uc640 \ud790\ubca0\ub974\ud2b8\uc758 \ub17c\uc7c1\uc740 \u2018\ubb34\ubaa8\uc21c\uc131\u2019\uacfc \u2018\uc874\uc7ac\u2019\uc758 \uad00\uacc4, \uacf5\ub9ac\uc758 \uc758\ubbf8\uc640 \uc7ac\ud574\uc11d \uac00\ub2a5\uc131\uc744 \ub458\ub7ec\uc2fc \uc5ed\uc0ac\uc801 \ub17c\uc7c1\uc774\uc5c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Hilbert, D. (1902). The Foundations of Geometry. E. J. Townsend \ubc88\uc5ed. PDF.\" href=\"#ref-Hilbert1902\">[Hilbert1902]<\/a><a class=\"math-abs-series-ref\" title=\"Blanchette, P. (2024). \u201cThe Frege\u2013Hilbert Controversy.\u201d The Stanford Encyclopedia of Philosophy (Spring 2024 ed.).\" href=\"#ref-Blanchette2024\">[Blanchette2024]<\/a><\/p>\n<p>[\ub450 \uc0ac\ub78c\uc758 \ud3b8\uc9c0\ub294 \ud504\ub808\uac8c\uc640 \ud790\ubca0\ub974\ud2b8\uc758 \ubb38\uc11c\uc5d0 \ubcf4\uc874\ub418\uc5c8\uace0, \uc601\uc5b4\ub85c\ub294 \u201cGottlob Frege: Philosophical and Mathematical Correspondence\u201d\uc758 \u2018The Frege\u2013Hilbert Correspondence\u2019, pp. 33\u201351\uc5d0 \uc218\ub85d\ub418\uc5b4 \uc788\ub2e4. \uc624\ub298\ub0a0 \uc774 \ub17c\uc7c1\uc740 \uacf5\ub9ac, \ubaa8\ud615, \uc815\uc758 \ubc0f \uc218\ud559\uc801 \uad6c\uc870\uc758 \ucca0\ud559\uc744 \ub17c\uc758\ud560 \ub54c \ud575\uc2ec \uc790\ub8cc\ub85c \uc5f0\uad6c\ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Blanchette, P. (2024). \u201cThe Frege\u2013Hilbert Controversy.\u201d The Stanford Encyclopedia of Philosophy (Spring 2024 ed.).\" href=\"#ref-Blanchette2024\">[Blanchette2024]<\/a><a class=\"math-abs-series-ref\" title=\"Frege, G., &amp; Hilbert, D. (1980). \u201cThe Frege\u2013Hilbert Correspondence.\u201d In G. Gabriel et al. (Eds.), B. McGuinness (English ed.), &amp; H. Kaal (Trans.), Gottlob Frege: Philosophical and Mathematical Correspondence, 33\u201351. Blackwell \/ University of Chicago Press.\" href=\"#ref-FregeHilbert1980\">[FregeHilbert1980]<\/a>]<\/p>\n<h4>\ucd94\uc0c1 \uad70\uacfc \ucf00\uc77c\ub9ac \uc815\ub9ac<\/h4>\n<p>\uc774\uc81c \uc5ed\uc0ac\uc801 \uc11c\uc220\uc5d0\uc11c \ud604\ub300 \uc218\ud559\uc73c\ub85c \uc2dc\uc120\uc744 \uc62e\uaca8, \uacf5\ub9ac\uc801 \uc815\uc758\uac00 \uc2e4\uc81c\ub85c \uc5b4\ub5bb\uac8c \uc791\ub3d9\ud558\ub294\uc9c0 \uad70\uc744 \ud1b5\ud574 \ud655\uc778\ud574 \ubcf4\uc790. \ub2e4\uc74c \uc815\uc758\uc640 \ucf00\uc77c\ub9ac \uc815\ub9ac\ub294 \ud604\ub300\uc801\uc778 \ud615\ud0dc\uc774\uba70, \ucf00\uc77c\ub9ac\uc758 1854\ub144 \ubb38\uad6c\ub97c \uadf8\ub300\ub85c \uc62e\uae34 \uac83\uc774 \uc544\ub2c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Neumann, P. M. (1999). \u201cWhat Groups Were: A Study of the Development of the Axiomatics of Group Theory.\u201d Bulletin of the Australian Mathematical Society, 60(2), 285\u2013301.\" href=\"#ref-Neumann1999\">[Neumann1999]<\/a><a class=\"math-abs-series-ref\" title=\"Milne, J. S. (2025). Group Theory, v4.01. PDF.\" href=\"#ref-Milne2025\">[Milne2025]<\/a><\/p>\n<div class=\"box theorem\">\n<p><span class=\"theorem\">\uad70\uc758 \uc815\uc758<\/span><br \/>\n\uc9d1\ud569 \\(G\\)\uc640 \uadf8 \uc704\uc758 \uc774\ud56d\uc5f0\uc0b0 \\(\\cdot:G\\times G\\to G\\)\uac00 \ub2e4\uc74c \uc870\uac74\uc744 \ub9cc\uc871\uc2dc\ud0a8\ub2e4\uace0 \ud558\uc790.<\/p>\n<ul>\n<li><strong>\uacb0\ud569\ubc95\uce59<\/strong>: \ubaa8\ub4e0 \\(a,b,c\\in G\\)\uc5d0 \ub300\ud558\uc5ec \\((a\\cdot b)\\cdot c=a\\cdot(b\\cdot c)\\)\uc774\ub2e4.<\/li>\n<li><strong>\ud56d\ub4f1\uc6d0\uc758 \uc874\uc7ac<\/strong>: \uc5b4\ub5a4 \\(e\\in G\\)\uac00 \uc874\uc7ac\ud558\uc5ec \ubaa8\ub4e0 \\(a\\in G\\)\uc5d0 \ub300\ud558\uc5ec \\(e\\cdot a=a\\cdot e=a\\)\uc774\ub2e4.<\/li>\n<li><strong>\uc5ed\uc6d0\uc758 \uc874\uc7ac<\/strong>: \ubaa8\ub4e0 \\(a\\in G\\)\uc5d0 \ub300\ud558\uc5ec \uc5b4\ub5a4 \\(b\\in G\\)\uac00 \uc874\uc7ac\ud558\uc5ec \\(a\\cdot b=b\\cdot a=e\\)\uc774\ub2e4. \uc774 \\(b\\)\ub97c \\(a^{-1}\\)\ub85c \uc4f4\ub2e4.<\/li>\n<\/ul>\n<p>\uc774 \uc870\uac74\uc744 \ub9cc\uc871\uc2dc\ud0a4\ub294 \uc21c\uc11c\uc30d \\((G,\\cdot)\\)\ub97c <span class=\"defined\">\uad70<\/span>(group)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4.<br \/>\n[\uc5f0\uc0b0\uc758 \ub2eb\ud798 \uc131\uc9c8\uc740 \\(\\cdot\\)\uc758 \uacf5\uc5ed\uc744 \\(G\\)\ub85c \uc815\ud55c \ub370 \uc774\ubbf8 \ud3ec\ud568\ub418\uc5b4 \uc788\ub2e4.]<\/p>\n<\/div>\n<p>\uc815\uc218 \uc804\uccb4\uc758 \uc9d1\ud569 \\(\\mathbb Z\\)\ub294 \ub367\uc148\uc5d0 \ub300\ud558\uc5ec \uad70\uc744 \uc774\ub8ec\ub2e4. \ud56d\ub4f1\uc6d0\uc740 \\(0\\)\uc774\uace0 \\(n\\)\uc758 \uc5ed\uc6d0\uc740 \\(-n\\)\uc774\ub2e4. 0\uc774 \uc544\ub2cc \uc720\ub9ac\uc218\uc758 \uc9d1\ud569 \\(\\mathbb Q^\\times\\)\ub294 \uacf1\uc148\uc5d0 \ub300\ud558\uc5ec \uad70\uc744 \uc774\ub8ec\ub2e4. \uc815\uc0ac\uac01\ud615\uc744 \uc790\uae30 \uc790\uc2e0\uc5d0 \ud3ec\uac1c\ub294 \ud68c\uc804\uacfc \ubc18\uc0ac\ub4e4\uc758 \uc9d1\ud569\ub3c4 \ud568\uc218\uc758 \ud569\uc131\uc5d0 \ub300\ud558\uc5ec \uad70\uc744 \uc774\ub8ec\ub2e4. \uc6d0\uc18c\uc758 \uc7ac\ub8cc\ub294 \uc218\uc640 \uae30\ud558\ud559\uc801 \ubcc0\ud658\uc73c\ub85c \uc11c\ub85c \ub2e4\ub974\uc9c0\ub9cc, \ubaa8\ub450 \uac19\uc740 \uad70 \uacf5\ub9ac\ub97c \ub9cc\uc871\ud55c\ub2e4. \ub530\ub77c\uc11c \uad70 \uacf5\ub9ac\ub9cc\uc73c\ub85c \uc99d\uba85\ud55c \uc815\ub9ac\ub294 \uc774 \uc0ac\ub840\ub4e4 \ubaa8\ub450\uc5d0 \uc801\uc6a9\ub41c\ub2e4.<\/p>\n<p>\ub450 \uad70 \\(G,H\\) \uc0ac\uc774\uc758 \ud568\uc218 \\(\\varphi:G\\to H\\)\uac00 \ubaa8\ub4e0 \\(g,h\\in G\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\varphi(gh)=\\varphi(g)\\varphi(h)<br \/>\n\\]<br \/>\n\ub97c \ub9cc\uc871\ud558\uba74 \\(\\varphi\\)\ub97c <span class=\"defined\">\uc900\ub3d9\ud615\uc0ac\uc0c1<\/span>(homomorphism)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4. \uc900\ub3d9\ud615\uc0ac\uc0c1\uc774 \uc804\ub2e8\uc0ac\uc774\uba74 <span class=\"defined\">\ub3d9\ud615\uc0ac\uc0c1<\/span>(isomorphism)\uc774\ub77c\uace0 \ubd80\ub974\uba70, \uc774\ub54c \u201c\\(G\\)\uc640 \\(H\\)\ub294 <span class=\"defined\">\ub3d9\ud615<\/span>\uc774\ub2e4(isomorphic)\u201d\ub77c\uace0 \ub9d0\ud55c\ub2e4. \ub610\ud55c \\(G\\)\uc758 \ubd80\ubd84\uc9d1\ud569 \\(K\\)\uac00 \\(G\\)\uc758 \uc5f0\uc0b0\uc73c\ub85c \uad70\uc744 \uc774\ub8e8\uba74 \\(K\\)\ub97c \\(G\\)\uc758 <span class=\"defined\">\ubd80\ubd84\uad70<\/span>(subgroup)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4.<\/p>\n<p>\uc9d1\ud569 \\(X\\)\uc5d0\uc11c \\(X\\)\ub85c \uac00\ub294 \ubaa8\ub4e0 \uc804\ub2e8\uc0ac\ud568\uc218\ub97c \\(X\\)\uc758 <span class=\"defined\">\uce58\ud658<\/span>(permutation)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4. \uc774 \uce58\ud658\ub4e4\uc758 \uc9d1\ud569\uc5d0 \ud568\uc218\uc758 \ud569\uc131\uc744 \uc5f0\uc0b0\uc73c\ub85c \uc8fc\uba74 \uad70\uc774 \ub418\uba70, \uc774\ub97c \\(X\\) \uc704\uc758 <span class=\"defined\">\ub300\uce6d\uad70<\/span>(symmetric group) \\(\\mathrm{Sym}(X)\\)\ub77c\uace0 \uc4f4\ub2e4.<\/p>\n<p>[\uc790\uae30 \uc790\uc2e0\uc73c\ub85c \ubcf4\ub0b4\ub294 \ud56d\ub4f1\ud568\uc218\uac00 \ud56d\ub4f1\uc6d0\uc774\uace0, \ubaa8\ub4e0 \uc804\ub2e8\uc0ac\ud568\uc218\ub294 \uc5ed\ud568\uc218\ub97c \uac00\uc9c0\uba70, \ud568\uc218\uc758 \ud569\uc131\uc740 \uacb0\ud569\ubc95\uce59\uc744 \ub9cc\uc871\ud55c\ub2e4. \ub530\ub77c\uc11c \\(\\mathrm{Sym}(X)\\)\ub294 \ud568\uc218\uc758 \ud569\uc131\uc5d0 \ub300\ud558\uc5ec \uad70\uc744 \uc774\ub8ec\ub2e4.]<\/p>\n<p>\\(\\mathrm{Sym}(X)\\)\uc758 \ubd80\ubd84\uad70\uc744 \\(X\\) \uc704\uc758 <span class=\"defined\">\uce58\ud658\uad70<\/span>(permutation group)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"theorem\">\ucf00\uc77c\ub9ac \uc815\ub9ac<\/span>(Cayley\u2019s theorem)<br \/>\n\uc784\uc758\uc758 \uad70 \\(G\\)\ub294 \ub300\uce6d\uad70 \\(\\mathrm{Sym}(G)\\)\uc758 \uc5b4\ub5a4 \ubd80\ubd84\uad70\uacfc \ub3d9\ud615\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"Milne, J. S. (2025). Group Theory, v4.01. PDF.\" href=\"#ref-Milne2025\">[Milne2025]<\/a><\/p>\n<\/div>\n<p>\uc815\ub9ac\uc758 \uc99d\uba85\uc744 \uc0b4\ud3b4\ubcf4\uc790. \uac01 \\(g\\in G\\)\uc5d0 \ub300\ud558\uc5ec \ud568\uc218 \\(\\lambda_g:G\\to G\\)\ub97c<br \/>\n\\[<br \/>\n\\lambda_g(x)=gx\\quad(x\\in G)<br \/>\n\\]<br \/>\n\ub85c \uc815\uc758\ud558\uc790. \uadf8\ub7ec\uba74<br \/>\n\\[<br \/>\n\\lambda_{g^{-1}}(\\lambda_g(x))=g^{-1}(gx)=(g^{-1}g)x=x<br \/>\n\\]<br \/>\n\uc774\uace0 \ubc18\ub300 \uc21c\uc11c\uc758 \ud569\uc131\ub3c4 \ud56d\ub4f1\ud568\uc218\uc774\ubbc0\ub85c \\(\\lambda_{g^{-1}}\\)\uc740 \\(\\lambda_g\\)\uc758 \uc5ed\ud568\uc218\ub2e4. \ub530\ub77c\uc11c \\(\\lambda_g\\)\ub294 \uc804\ub2e8\uc0ac\uc774\uace0 \\(\\lambda_g\\in\\mathrm{Sym}(G)\\)\uc774\ub2e4. \uc774\uc81c<br \/>\n\\[<br \/>\n\\varphi:G\\longrightarrow\\mathrm{Sym}(G),\\quad \\varphi(g)=\\lambda_g<br \/>\n\\]<br \/>\n\ub85c \uc815\uc758\ud55c\ub2e4. \ubaa8\ub4e0 \\(g,h,x\\in G\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\lambda_{gh}(x)=(gh)x=g(hx)=\\lambda_g(\\lambda_h(x))<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \\(\\lambda_{gh}=\\lambda_g\\circ\\lambda_h\\), \uc989<br \/>\n\\[<br \/>\n\\varphi(gh)=\\varphi(g)\\circ\\varphi(h)<br \/>\n\\]<br \/>\n\uc774\ub2e4. \ub530\ub77c\uc11c \\(\\varphi\\)\ub294 \uc900\ub3d9\ud615\uc0ac\uc0c1\uc774\ub2e4. [\ub4f1\uc2dd \\((gh)x=g(hx)\\)\ub294 \uad70\uc758 \uacb0\ud569\ubc95\uce59\uc744 \uc0ac\uc6a9\ud55c \ubc14\ub85c \uadf8 \ub2e8\uacc4\ub2e4.]<\/p>\n<p>\ub610 \\(\\varphi(g)=\\varphi(h)\\)\ub77c\uace0 \ud558\uba74 \\(\\lambda_g=\\lambda_h\\)\uc774\ub2e4. \ud56d\ub4f1\uc6d0 \\(e\\)\uc5d0 \ub450 \ud568\uc218\ub97c \uc801\uc6a9\ud558\uba74<br \/>\n\\[<br \/>\ng=\\lambda_g(e)=\\lambda_h(e)=h<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \\(\\varphi\\)\ub294 \ub2e8\uc0ac\ub2e4.<br \/>\n\uacf5\uc5ed\uc744 \uc0c1 \\(\\varphi(G)\\)\ub85c \uc81c\ud55c\ud55c \ud568\uc218<br \/>\n\\[<br \/>\n\\widetilde{\\varphi}:G\\longrightarrow\\varphi(G)<br \/>\n\\]<br \/>\n\ub294 \ub2e8\uc0ac\uc774\uba74\uc11c \uc815\uc758\uc0c1 \uc804\uc0ac\uc778 \uc900\ub3d9\ud615\uc0ac\uc0c1\uc774\ubbc0\ub85c \ub3d9\ud615\uc0ac\uc0c1\uc774\ub2e4. \ub610\ud55c \\(\\varphi(G)\\)\ub294 \ud569\uc131\uc5d0 \ub300\ud574 \ub2eb\ud600 \uc788\uace0<br \/>\n\\[<br \/>\n\\varphi(e)=\\lambda_e,\\quad \\varphi(g)^{-1}=\\varphi(g^{-1})<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \\(\\mathrm{Sym}(G)\\)\uc758 \ubd80\ubd84\uad70\uc774\ub2e4. \ub530\ub77c\uc11c<br \/>\n\\[<br \/>\nG\\cong\\varphi(G)\\leq\\mathrm{Sym}(G)<br \/>\n\\]<br \/>\n\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<p>[\uac19\uc740 \uacb0\ub860\uc740 \uc81c1\ub3d9\ud615\uc815\ub9ac \\(G\/\\ker\\varphi\\cong\\varphi(G)\\)\uc640 \\(\\ker\\varphi=\\{e\\}\\)\ub97c \uc774\uc6a9\ud574\uc11c\ub3c4 \uc5bb\uc744 \uc218 \uc788\ub2e4. \uadf8\ub7ec\ub098 \uc5ec\uae30\uc11c\ub294 \\(\\widetilde{\\varphi}\\)\uac00 \uc804\ub2e8\uc0ac \uc900\ub3d9\ud615\uc784\uc744 \uc9c1\uc811 \ud655\uc778\ud558\ub294 \uac83\ub9cc\uc73c\ub85c \ucda9\ubd84\ud558\ub2e4.<a class=\"math-abs-series-ref\" title=\"Milne, J. S. (2025). Group Theory, v4.01. PDF.\" href=\"#ref-Milne2025\">[Milne2025]<\/a>]<\/p>\n<p>\ucf00\uc77c\ub9ac \uc815\ub9ac\ub294 \ubaa8\ub4e0 \uad70\uc744 \uadf8 \uae30\uc800\uc9d1\ud569 \uc704\uc758 \uce58\ud658\uc73c\ub85c \ucda9\uc2e4\ud558\uac8c \ud45c\ud604\ud560 \uc218 \uc788\uc74c\uc744 \ub9d0\ud55c\ub2e4. <!-- \uadf8\ub7ec\ub098 \uc774\uac83\uc740 \ubaa8\ub4e0 \uad70\uc774 \ubb38\uc790 \uadf8\ub300\ub85c \uac19\uc740 \uce58\ud658\ub4e4\uc758 \uc9d1\ud569\uc774\ub77c\uac70\ub098, \ubaa8\ub4e0 \uad70\uc774 \uc5b4\ub5a4 \ub2e4\ud56d\ubc29\uc815\uc2dd\uc758 \uadfc\uc744 \uce58\ud658\ud558\ub294 \uac08\ub8e8\uc544\uad70\uc774\ub77c\ub294 \ub73b\uc740 \uc544\ub2c8\ub2e4. --> \uc704\uc758 \uce58\ud658\ub4e4\uc740 \uad70 \\(G\\)\uc758 \uc6d0\uc18c\ub4e4 \uc790\uccb4\ub97c \uc67c\ucabd \uacf1\uc148\uc73c\ub85c \uc62e\uae30\ub294 \uce58\ud658\uc774\ub2e4. \\(G\\)\uc640 \\(\\varphi(G)\\)\uc758 \uc6d0\uc18c\ub294 \uc11c\ub85c \ub2e4\ub978 \uc885\ub958\uc77c \uc218 \uc788\uc9c0\ub9cc \uad70 \uc5f0\uc0b0\uc758 \uad00\uc810\uc5d0\uc11c\ub294 \ub3d9\ud615\uc774\ub2e4.<\/p>\n<p>\ucd94\uc0c1\uc801 \uc815\uc758\uc758 \uc7a5\uc810\uc740 \ud2b9\uc815\ud55c \ud45c\ud604\uc744 \uc120\ud0dd\ud558\uc9c0 \uc54a\uc740 \ucc44 \ubaa8\ub4e0 \uad70\uc5d0 \uacf5\ud1b5\ub418\ub294 \uacb0\uacfc\ub97c \ud55c \ubc88\uc5d0 \uc99d\uba85\ud560 \uc218 \uc788\ub2e4\ub294 \ub370 \uc788\ub2e4. \uad70 \uacf5\ub9ac\ub9cc\uc744 \uc0ac\uc6a9\ud55c \uc99d\uba85\uc740 \uc815\uc218\uc758 \ub367\uc148\uad70, \uc815\uc0ac\uac01\ud615\uc758 \ub300\uce6d\uad70, \uadf8 \ubc16\uc758 \ubaa8\ub4e0 \uad70\uc5d0 \uc801\uc6a9\ub41c\ub2e4. \ub2e4\ub9cc \uac01 \uc0ac\ub840\uac00 \uc2e4\uc81c\ub85c \uadf8 \uacf5\ub9ac\ub4e4\uc744 \ub9cc\uc871\ud55c\ub2e4\ub294 \ud655\uc778\uc740 \ubcc4\ub3c4\ub85c \ud544\uc694\ud558\uba70, \uacf5\ub9ac\uc5d0\uc11c \uc5bb\ub294 \uacb0\ub860\uc740 \uc624\uc9c1 \uadf8 \uacf5\ub9ac\uc640 \ub17c\ub9ac\uc801 \ucd94\ub860\uc774 \ubcf4\uc7a5\ud558\ub294 \ubc94\uc704\uc5d0\uc11c\ub9cc \uc131\ub9bd\ud55c\ub2e4.<\/p>\n<p>[\ud558\ub098\uc758 \uacf5\ub9ac\uc801 \uc99d\uba85\uc774 \ub3d9\uc77c\ud55c \uacf5\ub9ac\ub97c \ub9cc\uc871\ud558\ub294 \ubaa8\ub4e0 \uc0ac\ub840\uc5d0 \uc801\uc6a9\ub41c\ub2e4\ub294 \ud6a8\uc728\uc131\uc740 \uc774 \uc5f0\uc7ac\uc5d0\uc11c \ub418\ud480\uc774\ud558\uc5ec \ub4f1\uc7a5\ud560 \ud575\uc2ec \uc8fc\uc81c\ub2e4. \ub2e4\ub9cc \uadf8\ub7ec\ud55c \ubcf4\ud3b8\uc131\uc740 \uac01 \uc0ac\ub840\uac00 \uc2e4\uc81c\ub85c \ud574\ub2f9 \uacf5\ub9ac\ub4e4\uc744 \ub9cc\uc871\ud55c\ub2e4\ub294 \uc0ac\uc2e4\uc744 \uba3c\uc800 \ud655\uc778\ud55c \ub4a4\uc5d0 \uc5bb\uc5b4\uc9c4\ub2e4.]<\/p>\n<h4>\ub300\uc0c1\uc758 \uc815\uccb4\ub97c \ubc84\ub9ac\uace0 \uacf5\ub9ac\uac00 \ub0a8\ub2e4<\/h4>\n<p>\uc9c0\uae08\uae4c\uc9c0 \uc0b4\ud3b4\ubcf8 \ubcc0\ud654\ub294 \ud558\ub098\uc758 \ub2e8\uc120\uc801\uc778 \uacc4\ubcf4\ub85c \ud658\uc6d0\ub418\uc9c0 \uc54a\ub294\ub2e4. \ube44\uc720\ud074\ub9ac\ub4dc \uae30\ud558\ud559\uacfc \ubca8\ud2b8\ub77c\ubbf8\uc758 \ubaa8\ud615\uc740 \uae30\ud558\ud559\uc758 \uc0c1\ub300\uc801 \ubb34\ubaa8\uc21c\uc131\uacfc \ub2e4\uc591\ud55c \ud574\uc11d\uc744 \ubcf4\uc5ec\uc8fc\uc5c8\ub2e4. \uac08\ub8e8\uc544, \ucf00\uc77c\ub9ac\uc640 \uc5ec\ub7ec \ub300\uc218\ud559\uc790\uc758 \uc5f0\uad6c\ub294 \uce58\ud658\uacfc \ubcc0\ud658\uc5d0\uc11c \uc5f0\uc0b0 \uad6c\uc870\uc758 \ucd94\uc0c1\ud654\ub85c \ub098\uc544\uac14\ub2e4. \ud074\ub77c\uc778\uc740 \uacf5\uac04\uc5d0 \uc791\uc6a9\ud558\ub294 \ubcc0\ud658\uad70\uacfc \ubd88\ubcc0\ub7c9\uc73c\ub85c \uc5ec\ub7ec \uace0\uc804 \uae30\ud558\ud559\uc744 \ube44\uad50\ud588\ub2e4. \ub370\ub370\ud0a8\ud2b8\ub294 \uc544\uc774\ub514\uc5bc\uacfc \uc2e4\uc218\ub97c \uba85\ud655\ud55c \uc9d1\ud569\uc801 \ub300\uc0c1\uc73c\ub85c \uad6c\uc131\ud588\uace0, \ud790\ubca0\ub974\ud2b8\ub294 \uae30\ud558\ud559\uc758 \uae30\ubcf8 \ub300\uc0c1\uacfc \uad00\uacc4\ub97c \uacf5\ub9ac \uccb4\uacc4\ub85c \uaddc\uc815\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Gray, J., &amp; Ferreir\u00f3s, J. (2025). \u201cEpistemology of Geometry.\u201d The Stanford Encyclopedia of Philosophy (Winter 2025 ed.).\" href=\"#ref-GrayFerreiros2025\">[GrayFerreiros2025]<\/a><a class=\"math-abs-series-ref\" title=\"Kleiner, I. (1986). \u201cThe Evolution of Group Theory: A Brief Survey.\u201d Mathematics Magazine, 59(4), 195\u2013215.\" href=\"#ref-Kleiner1986\">[Kleiner1986]<\/a><a class=\"math-abs-series-ref\" title=\"Reck, E. (2025). \u201cDedekind\u2019s Contributions to the Foundations of Mathematics.\u201d The Stanford Encyclopedia of Philosophy.\" href=\"#ref-Reck2025\">[Reck2025]<\/a><\/p>\n<p>\uc218\ud559\uc801 \ub300\uc0c1\uacfc \uad00\uacc4\uac00 \ub9cc\uc871\ud574\uc57c \ud560 \uba85\uc81c\ub4e4\uc744 \uba85\uc2dc\ud558\uace0 \uadf8 \uacb0\uacfc\ub97c \uc5f0\uc5ed\uc801\uc73c\ub85c \uc804\uac1c\ud558\ub294 \uc77c\uc744 <span class=\"defined\">\uacf5\ub9ac\ud654<\/span>(axiomatization)\ub77c\uace0 \ud55c\ub2e4. \uacf5\ub9ac\uac00 \uae30\ubcf8 \uc6a9\uc5b4\ub4e4\uc758 \uac00\ub2a5\ud55c \ud574\uc11d\uc744 \uad00\uacc4\uc801\uc73c\ub85c \uaddc\uc815\ud55c\ub2e4\ub294 \uc810\uc740 <span class=\"defined\">\uc554\ubb35\uc801 \uc815\uc758<\/span>\ub77c\uace0 \uc124\uba85\ud560 \uc218 \uc788\ub2e4.<!-- <a class=\"math-abs-series-ref\" title=\"Blanchette, P. (2024). \u201cThe Frege\u2013Hilbert Controversy.\u201d The Stanford Encyclopedia of Philosophy (Spring 2024 ed.).\" href=\"#ref-Blanchette2024\">[Blanchette2024]<\/a><a class=\"math-abs-series-ref\" title=\"Sieg, W. (2020). \u201cThe Ways of Hilbert\u2019s Axiomatics: Structural and Formal.\u201d In E. Reck &amp; G. Schiemer (Eds.), The Prehistory of Mathematical Structuralism, 142\u2013165. Oxford University Press.\" href=\"#ref-Sieg2020\">[Sieg2020]<\/a> --><\/p>\n<p><!-- \ub610\ud55c 1899\ub144 \u201c\uae30\ud558\ud559\uc758 \uae30\ucd08\u201d\uc758 \uad6c\uc870\uc801 \uacf5\ub9ac\ub860\uc744 1920\ub144\ub300\uc758 \ud790\ubca0\ub974\ud2b8 \ud504\ub85c\uadf8\ub7a8 \ubc0f \u2018\ud615\uc2dd\uc8fc\uc758\u2019\uc640 \uadf8\ub300\ub85c \ub3d9\uc77c\uc2dc\ud574\uc11c\ub294 \uc548 \ub41c\ub2e4. -->\ud6c4\uae30 \ud790\ubca0\ub974\ud2b8 \ud504\ub85c\uadf8\ub7a8\uc740 \uc218\ud559\uc744 \ud615\uc2dd\ud654\ud558\uace0, \uc720\ud55c\uc8fc\uc758\uc801\uc774\ub77c\uace0 \uc5ec\uae34 \ubc29\ubc95\uc73c\ub85c \uadf8 \ud615\uc2dd \uccb4\uacc4\uc758 \ubb34\ubaa8\uc21c\uc131\uc744 \uc99d\uba85\ud558\ub824\ub294 \ubcc4\ub3c4\uc758 \uc99d\uba85\ub860\uc801 \uae30\ud68d\uc774\uc5c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Sieg, W. (2020). \u201cThe Ways of Hilbert\u2019s Axiomatics: Structural and Formal.\u201d In E. Reck &amp; G. Schiemer (Eds.), The Prehistory of Mathematical Structuralism, 142\u2013165. Oxford University Press.\" href=\"#ref-Sieg2020\">[Sieg2020]<\/a><a class=\"math-abs-series-ref\" title=\"Zach, R. (2023). \u201cHilbert\u2019s Program.\u201d The Stanford Encyclopedia of Philosophy (Fall 2023 ed.).\" href=\"#ref-Zach2023\">[Zach2023]<\/a> \uad34\ub378\uc758 \uc81c2\ubd88\uc644\uc804\uc131 \uc815\ub9ac\ub294 \uc77c\uad00\ub418\uace0 \ud6a8\uacfc\uc801\uc73c\ub85c \uacf5\ub9ac\ud654\ub418\uba70 \ucda9\ubd84\ud55c \uc0b0\uc220\uc744 \ud3ec\ud568\ud558\ub294 \uc774\ub860\uc740 \ud1b5\uc0c1\uc801\uc778 \uc870\uac74 \uc544\ub798\uc5d0\uc11c \uc790\uae30 \uc790\uc2e0\uc758 \ubb34\ubaa8\uc21c\uc131\uc744 \uadf8 \uc774\ub860 \uc548\uc5d0\uc11c \uc99d\uba85\ud560 \uc218 \uc5c6\uc74c\uc744 \ubcf4\uc600\ub2e4. <!-- \uc774\ub294 \ud790\ubca0\ub974\ud2b8 \ud504\ub85c\uadf8\ub7a8\uc758 \uc6d0\ub798 \ubaa9\ud45c\uc5d0 \uc911\ub300\ud55c \uc81c\uc57d\uc744 \uac00\ud588\uc9c0\ub9cc, \ubaa8\ub4e0 \uc0c1\ub300\uc801 \ubb34\ubaa8\uc21c\uc131 \uc99d\uba85\uc774\ub098 \ubaa8\ub4e0 \ud615\ud0dc\uc758 \uc99d\uba85\ub860\uc774 \ubd88\uac00\ub2a5\ud558\ub2e4\ub294 \ub73b\uc740 \uc544\ub2c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Zach, R. (2023). \u201cHilbert\u2019s Program.\u201d The Stanford Encyclopedia of Philosophy (Fall 2023 ed.).\" href=\"#ref-Zach2023\">[Zach2023]<\/a><a class=\"math-abs-series-ref\" title=\"Raatikainen, P. (2021). \u201cG\u00f6del\u2019s Incompleteness Theorems.\u201d The Stanford Encyclopedia of Philosophy (Spring 2021 ed.).\" href=\"#ref-Raatikainen2021\">[Raatikainen2021]<\/a> --><\/p>\n<p>\uacf5\ub9ac\uc801 \ucd94\uc0c1\ud654\ub294 \ub300\uc0c1\uc758 \uad6c\uccb4\uc801\uc778 \ud45c\ud604\uc5d0\uc11c \uc99d\uba85\uc744 \ubd84\ub9ac\ud574, \uac19\uc740 \uad6c\uc870\ub97c \uc9c0\ub2cc \uc5ec\ub7ec \uc0ac\ub840\uc5d0 \ud55c\uaebc\ubc88\uc5d0 \uc801\uc6a9\ud560 \uc218 \uc788\uac8c \ud55c\ub2e4. <!-- \uadf8\ub7ec\ub098 \uacf5\ub9ac\ub294 \ubb34\uc5d0\uc11c \ub300\uc0c1\uc744 \ub9cc\ub4e4\uc5b4 \ub0b4\ub294 \uc8fc\ubb38\uc774 \uc544\ub2c8\ub2e4. --> \uacf5\ub9ac\uc801 \ucd94\uc0c1\ud654\uc758 \uacfc\uc815\uc5d0\ub294 \uacf5\ub9ac\uacc4\uc758 \ud574\uc11d, \ubaa8\ud615\uc758 \uc874\uc7ac, \ubb34\ubaa8\uc21c\uc131 \uc99d\uba85\uc758 \ubc30\uacbd \uc774\ub860, \uadf8\ub9ac\uace0 \uacf5\ub9ac\ub4e4\uc774 \uc2e4\uc81c \uc0ac\ub840\uc5d0 \uc131\ub9bd\ud558\ub294\uc9c0\uc5d0 \ub300\ud55c \uac80\ud1a0\uac00 \ud568\uaed8 \ud544\uc694\ud558\ub2e4. \uc774\ub7ec\ud55c \uc81c\ud55c\uae4c\uc9c0 \ud3ec\ud568\ud560 \ub54c \uacf5\ub9ac\ud654\ub294 \ud604\ub300 \uc218\ud559\uc758 \uac00\uc7a5 \uac15\ub825\ud55c \ucd94\uc0c1\ud654 \ubc29\ubc95 \uac00\uc6b4\ub370 \ud558\ub098\uac00 \ub41c\ub2e4.<\/p>\n<p>\uadf8\ub7f0\ub370 \uad70\uc758 \uacf5\ub9ac, \ud658\uc758 \uacf5\ub9ac, \uccb4\uc758 \uacf5\ub9ac, \uc704\uc0c1\uacf5\uac04\uc758 \uacf5\ub9ac\ucc98\ub7fc \uc11c\ub85c \ub2e4\ub978 \uc774\ub860\uc758 \uad6c\uc870\ub4e4\uc744 \ub354 \ub192\uc740 \uad00\uc810\uc5d0\uc11c \ube44\uad50\ud558\uba74 \ubb34\uc5c7\uc744 \ubcfc \uc218 \uc788\uc744\uae4c? \ub300\uc0c1 \ub0b4\ubd80\uc758 \uc6d0\uc18c\ubcf4\ub2e4 \ub300\uc0c1\ub4e4 \uc0ac\uc774\uc758 \uc0ac\uc0c1\uc5d0 \uc8fc\ubaa9\ud560 \ub54c \ub098\ud0c0\ub098\ub294 \uc0c8\ub85c\uc6b4 \ucd94\uc0c1\ud654\ub294 <a href=\"..\/math-abstraction-05-mathematical-structures\/\">5\ubd80<\/a>\uc5d0\uc11c \uc0b4\ud3b4\ubcf4\uae30\ub85c \ud55c\ub2e4.<\/p>\n<h4>\ucc38\uace0\ubb38\ud5cc<\/h4>\n<ul>\n<li id=\"ref-EuclidElements\">[EuclidElements] Euclid. <i>Euclid\u2019s Elements of Geometry<\/i>, Book I, Postulate 5. R. Fitzpatrick \ud3b8\uc5ed. <a href=\"https:\/\/farside.ph.utexas.edu\/Books\/Euclid\/Elements.pdf\">PDF<\/a>.<\/li>\n<li id=\"ref-Bonola1912\">[Bonola1912] Bonola, R. (1912). <i>Non-Euclidean Geometry: A Critical and Historical Study of Its Development<\/i>. H. S. Carslaw \ubc88\uc5ed. <a href=\"https:\/\/archive.org\/details\/noneuclideangeom00bonorich\">Internet Archive<\/a>.<\/li>\n<li id=\"ref-Torretti2021\">[Torretti2021] Torretti, R. (2021). \u201cNineteenth Century Geometry.\u201d <i>The Stanford Encyclopedia of Philosophy<\/i> (Fall 2021 ed.). <a href=\"https:\/\/plato.stanford.edu\/archives\/fall2021\/entries\/geometry-19th\/\">https:\/\/plato.stanford.edu\/archives\/fall2021\/entries\/geometry-19th\/<\/a>.<\/li>\n<li id=\"ref-Arcozzi2012\">[Arcozzi2012] Arcozzi, N. (2012). \u201cBeltrami\u2019s Models of Non-Euclidean Geometry.\u201d In <i>Mathematicians in Bologna 1861\u20131960<\/i>, 1\u201330. <a href=\"https:\/\/doi.org\/10.1007\/978-3-0348-0227-7_1\">https:\/\/doi.org\/10.1007\/978-3-0348-0227-7_1<\/a>.<\/li>\n<li id=\"ref-Riemann1854\">[Riemann1854] Riemann, B. (1854\/1868). \u201cOn the Hypotheses which Lie at the Bases of Geometry.\u201d W. K. Clifford \ubc88\uc5ed. <a href=\"https:\/\/www.emis.de\/classics\/Riemann\/WKCGeom.pdf\">EMIS PDF<\/a>.<\/li>\n<li id=\"ref-GrayFerreiros2025\">[GrayFerreiros2025] Gray, J., &amp; Ferreir\u00f3s, J. (2025). \u201cEpistemology of Geometry.\u201d <i>The Stanford Encyclopedia of Philosophy<\/i> (Winter 2025 ed.). <a href=\"https:\/\/plato.stanford.edu\/archives\/win2025\/entries\/epistemology-geometry\/\">https:\/\/plato.stanford.edu\/archives\/win2025\/entries\/epistemology-geometry\/<\/a>.<\/li>\n<li id=\"ref-Neumann2011\">[Neumann2011] Neumann, P. M. (2011). <i>The Mathematical Writings of \u00c9variste Galois<\/i>. European Mathematical Society. <a href=\"https:\/\/doi.org\/10.4171\/104\">https:\/\/doi.org\/10.4171\/104<\/a>.<\/li>\n<li id=\"ref-Kleiner1986\">[Kleiner1986] Kleiner, I. (1986). \u201cThe Evolution of Group Theory: A Brief Survey.\u201d <i>Mathematics Magazine<\/i>, 59(4), 195\u2013215. <a href=\"https:\/\/doi.org\/10.1080\/0025570X.1986.11977247\">https:\/\/doi.org\/10.1080\/0025570X.1986.11977247<\/a>.<\/li>\n<li id=\"ref-Cayley1854\">[Cayley1854] Cayley, A. (1854). \u201cOn the Theory of Groups, as Depending on the Symbolic Equation \\(\\theta^n=1\\).\u201d <i>Philosophical Magazine<\/i>, series 4, 7, 40\u201347. <a href=\"https:\/\/doi.org\/10.1080\/14786445408647421\">https:\/\/doi.org\/10.1080\/14786445408647421<\/a>.<\/li>\n<li id=\"ref-Neumann1999\">[Neumann1999] Neumann, P. M. (1999). \u201cWhat Groups Were: A Study of the Development of the Axiomatics of Group Theory.\u201d <i>Bulletin of the Australian Mathematical Society<\/i>, 60(2), 285\u2013301. <a href=\"https:\/\/doi.org\/10.1017\/S0004972700036406\">https:\/\/doi.org\/10.1017\/S0004972700036406<\/a>.<\/li>\n<li id=\"ref-Klein1872\">[Klein1872] Klein, F. (1872\/1893). \u201cA Comparative Review of Recent Researches in Geometry.\u201d M. W. Haskell \ubc88\uc5ed. <a href=\"https:\/\/arxiv.org\/abs\/0807.3161\">arXiv:0807.3161<\/a>.<\/li>\n<li id=\"ref-Cayley1859\">[Cayley1859] Cayley, A. (1859). \u201cA Sixth Memoir upon Quantics.\u201d <i>Philosophical Transactions of the Royal Society of London<\/i>, 149, 61\u201390. <a href=\"https:\/\/doi.org\/10.1098\/rstl.1859.0004\">https:\/\/doi.org\/10.1098\/rstl.1859.0004<\/a>.<\/li>\n<li id=\"ref-ACampoPapadopoulos2015\">[ACampoPapadopoulos2015] A\u2019Campo, N., &amp; Papadopoulos, A. (2015). \u201cOn Klein\u2019s So-called Non-Euclidean Geometry.\u201d In <i>Sophus Lie and Felix Klein: The Erlangen Program and Its Impact in Mathematics and Physics<\/i>. <a href=\"https:\/\/arxiv.org\/abs\/1406.7309\">arXiv:1406.7309<\/a>.<\/li>\n<li id=\"ref-Dedekind1871\">[Dedekind1871] Dedekind, R. (1871\/2004). \u201cDedekind\u2019s 1871 Version of the Theory of Ideals.\u201d J. Avigad \uc601\uc5b4 \ubc88\uc5ed \ubc0f \uc8fc\uc11d. Carnegie Mellon University Technical Report CMU-PHIL-162. <a href=\"https:\/\/www.andrew.cmu.edu\/user\/avigad\/Papers\/ideals71.pdf\">PDF<\/a>.<\/li>\n<li id=\"ref-ChapmanEtAl2019\">[ChapmanEtAl2019] Chapman, S. T., Gotti, F., &amp; Gotti, M. (2019). \u201cHow Do Elements Really Factor in \\(\\mathbb Z[\\sqrt{-5}]\\)?\u201d In <i>Advances in Commutative Algebra<\/i>, 171\u2013195. <a href=\"https:\/\/arxiv.org\/abs\/1711.10842\">arXiv:1711.10842<\/a>.<\/li>\n<li id=\"ref-Dedekind1901\">[Dedekind1901] Dedekind, R. (1901). <i>Essays on the Theory of Numbers<\/i>. W. W. Beman \ubc88\uc5ed. \u201cContinuity and Irrational Numbers\u201d \ubc0f \u201cThe Nature and Meaning of Numbers\u201d \uc218\ub85d. <a href=\"https:\/\/www.gutenberg.org\/ebooks\/21016\">Project Gutenberg<\/a>.<\/li>\n<li id=\"ref-Reck2025\">[Reck2025] Reck, E. (2025). \u201cDedekind\u2019s Contributions to the Foundations of Mathematics.\u201d <i>The Stanford Encyclopedia of Philosophy<\/i>. <a href=\"https:\/\/plato.stanford.edu\/entries\/dedekind-foundations\/\">https:\/\/plato.stanford.edu\/entries\/dedekind-foundations\/<\/a>.<\/li>\n<li id=\"ref-Hilbert1902\">[Hilbert1902] Hilbert, D. (1902). <i>The Foundations of Geometry<\/i>. E. J. Townsend \ubc88\uc5ed. <a href=\"https:\/\/math.berkeley.edu\/~wodzicki\/160\/Hilbert.pdf\">PDF<\/a>.<\/li>\n<li id=\"ref-AvigadEtAl2009\">[AvigadEtAl2009] Avigad, J., Dean, E., &amp; Mumma, J. (2009). \u201cA Formal System for Euclid\u2019s Elements.\u201d <i>The Review of Symbolic Logic<\/i>, 2(4), 700\u2013768. <a href=\"https:\/\/doi.org\/10.1017\/S1755020309990098\">https:\/\/doi.org\/10.1017\/S1755020309990098<\/a>.<\/li>\n<li id=\"ref-Blumenthal1935\">[Blumenthal1935] Blumenthal, O. (1935). \u201cLebensgeschichte von David Hilbert.\u201d In D. Hilbert, <i>Gesammelte Abhandlungen<\/i>, Bd. III, 388\u2013429. Berlin: Julius Springer. <a href=\"https:\/\/eudml.org\/doc\/202498\">EuDML<\/a>.<\/li>\n<li id=\"ref-Blanchette2024\">[Blanchette2024] Blanchette, P. (2024). \u201cThe Frege\u2013Hilbert Controversy.\u201d <i>The Stanford Encyclopedia of Philosophy<\/i> (Spring 2024 ed.). <a href=\"https:\/\/plato.stanford.edu\/archives\/spr2024\/entries\/frege-hilbert\/\">https:\/\/plato.stanford.edu\/archives\/spr2024\/entries\/frege-hilbert\/<\/a>.<\/li>\n<li id=\"ref-Milne2025\">[Milne2025] Milne, J. S. (2025). <i>Group Theory<\/i>, v4.01. <a href=\"https:\/\/www.jmilne.org\/math\/CourseNotes\/GT.pdf\">PDF<\/a>.<\/li>\n<li id=\"ref-Sieg2020\">[Sieg2020] Sieg, W. (2020). \u201cThe Ways of Hilbert\u2019s Axiomatics: Structural and Formal.\u201d In E. Reck &amp; G. Schiemer (Eds.), <i>The Prehistory of Mathematical Structuralism<\/i>, 142\u2013165. Oxford University Press. <a href=\"https:\/\/doi.org\/10.1093\/oso\/9780190641221.003.0006\">https:\/\/doi.org\/10.1093\/oso\/9780190641221.003.0006<\/a>.<\/li>\n<li id=\"ref-Zach2023\">[Zach2023] Zach, R. (2023). \u201cHilbert\u2019s Program.\u201d <i>The Stanford Encyclopedia of Philosophy<\/i> (Fall 2023 ed.). <a href=\"https:\/\/plato.stanford.edu\/archives\/fall2023\/entries\/hilbert-program\/\">https:\/\/plato.stanford.edu\/archives\/fall2023\/entries\/hilbert-program\/<\/a>.<\/li>\n<li id=\"ref-Raatikainen2021\">[Raatikainen2021] Raatikainen, P. (2021). \u201cG\u00f6del\u2019s Incompleteness Theorems.\u201d <i>The Stanford Encyclopedia of Philosophy<\/i> (Spring 2021 ed.). <a href=\"https:\/\/plato.stanford.edu\/archives\/spr2021\/entries\/goedel-incompleteness\/\">https:\/\/plato.stanford.edu\/archives\/spr2021\/entries\/goedel-incompleteness\/<\/a>.<\/li>\n<li id=\"ref-FregeHilbert1980\">[FregeHilbert1980] Frege, G., &amp; Hilbert, D. (1980). \u201cThe Frege\u2013Hilbert Correspondence.\u201d In G. Gabriel et al. (Eds.), B. McGuinness (English ed.), &amp; H. Kaal (Trans.), <i>Gottlob Frege: Philosophical and Mathematical Correspondence<\/i>, 33\u201351. Blackwell \/ University of Chicago Press. <a href=\"https:\/\/philpapers.org\/rec\/FRETFC\">https:\/\/philpapers.org\/rec\/FRETFC<\/a>.<\/li>\n<li id=\"ref-Einstein1916\">[Einstein1916] Einstein, A. (1916). \u201cDie Grundlage der allgemeinen Relativit\u00e4tstheorie.\u201d <i>Annalen der Physik<\/i>, 49, 769\u2013822. <a href=\"https:\/\/doi.org\/10.1002\/andp.19163540702\">https:\/\/doi.org\/10.1002\/andp.19163540702<\/a>.<\/li>\n<\/ul>\n<h4>\uc800\uc791\uad8c<\/h4>\n<p>\uc774\uc2ac\ube44, 2026. designeralice\uff20daum.net.<\/p>\n<div class=\"math-abs-series-contents\">\n<p class=\"math-abs-series-menu-title\"><a href=\"..\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654<\/a><\/p>\n<ol class=\"math-abs-series-menu-list\">\n        <!-- \ud604\uc7ac \ud398\uc774\uc9c0\uc5d0 \ud574\ub2f9\ud558\ub294 li \ud0dc\uadf8\uc5d0 class=\"math-abs-series-current-page\" \uc18d\uc131 \ucd94\uac00 --><\/p>\n<li><a href=\"..\/math-abstraction-01-essence\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654\uc758 \uae30\ubcf8 \uac1c\ub150<\/a><\/li>\n<li><a href=\"..\/math-abstraction-02-implicit-era\/\">\ucd08\uae30 \uc218\ud559\uc5d0\uc11c\uc758 \uc554\ubb35\uc801 \ucd94\uc0c1\ud654<\/a><\/li>\n<li><a href=\"..\/math-abstraction-03-algebraic-symbols\/\">\ub300\uc218\uc801 \uae30\ud638\uc640 \uc5f0\uc0b0 \ubc95\uce59<\/a><\/li>\n<li class=\"math-abs-series-current-page\"><a href=\"..\/math-abstraction-04-axiomatic-method\/\">\uacf5\ub9ac\uc801 \ubc29\ubc95\uc5d0 \uc758\ud55c \ucd94\uc0c1\ud654<\/a><\/li>\n<li><a href=\"..\/math-abstraction-05-mathematical-structures\/\">\uc218\ud559\uc801 \uad6c\uc870\uc640 \ubc94\uc8fc\ub860<\/a><\/li>\n<li><a href=\"..\/math-abstraction-06-vector-spaces\/\">\ubca1\ud130\uacf5\uac04\uacfc \uc120\ud615 \uad6c\uc870<\/a><\/li>\n<li><a href=\"..\/math-abstraction-07-topological-spaces\/\">\uac70\ub9ac\uacf5\uac04\uacfc \uc704\uc0c1\uacf5\uac04<\/a><\/li>\n<li><a href=\"..\/math-abstraction-08-measure-spaces\/\">\uce21\ub3c4\uacf5\uac04\uacfc \ud655\ub960\uacf5\uac04<\/a><\/li>\n<li><a href=\"..\/math-abstraction-09-cognitive-process\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654\uc758 \uc778\uc9c0\uc640 \ud559\uc2b5<\/a><\/li>\n<li><a href=\"..\/math-abstraction-10-optimal-generality\/\">\ud604\ub300 \uc218\ud559 \uc5f0\uad6c\uc5d0\uc11c\uc758 \ucd94\uc0c1\ud654<\/a><\/li>\n<li><a href=\"..\/math-abstraction-11-topography\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654\uc758 \ubc29\ubc95\uacfc \ucca0\ud559<\/a><\/li>\n<\/ol>\n<\/div>\n<\/div>\n<p><!-- class=\"math-abs-series\" --><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\ud574\ubc00\ud130\uc758 \uc0ac\uc6d0\uc218\uc640 \uac19\uc774, \uc775\uc219\ud55c \uc5f0\uc0b0 \ubc95\uce59 \uac00\uc6b4\ub370 \uc77c\ubd80\ub97c \ud3ec\uae30\ud574\ub3c4 \uc77c\uad00\ub41c \ub300\uc218 \uccb4\uacc4\uac00 \uc131\ub9bd\ud560 \uc218 \uc788\ub2e4\uba74, \uc218\ud559\uc801 \ub300\uc0c1\uc744 \uadf8 \u2018\uc7ac\ub8cc\u2019\uac00 \uc544\ub2c8\ub77c \ub9cc\uc871\ud574\uc57c \ud560 \uad00\uacc4\uc640 \ubc95\uce59\uc73c\ub85c \uaddc\uc815\ud560 \uc218\ub3c4 \uc788\uc9c0 \uc54a\uc744\uae4c? \ud574\ubc00\ud134\uc758 \uc0ac\uc6d0\uc218\ub294 \uad50\ud658\ubc95\uce59\uc774 \ud544\uc218 \ubc95\uce59\uc740 \uc544\ub2c8\ub77c\ub294 \uac15\ub825\ud55c \uc0ac\ub840\ub97c \uc81c\uc2dc\ud588\uc9c0\ub9cc, \uc0ac\uc6d0\uc218\uc758 \ubc1c\uacac\uc5d0\uc11c \uace7\ubc14\ub85c \ud604\ub300\uc758 \uacf5\ub9ac\uc801 \ubc29\ubc95\uc774 \uc644\uc131\ub41c \uac83\uc740 \uc544\ub2c8\ub2e4. 19\uc138\uae30\uc5d0\ub294 \uc11c\ub85c \ub2e4\ub978 \uc5ec\ub7ec \ud750\ub984\uc774 \uc774 \uc9c8\ubb38\uc5d0 \uc811\uadfc\ud588\ub2e4. \ube44\uc720\ud074\ub9ac\ub4dc \uae30\ud558\ud559\uacfc \uadf8 \ubaa8\ud615\ub4e4\uc740 \uc218\ud559\uc801 \uae30\ud558\ud559\uc758 \ub17c\ub9ac\uc801 \ud0c0\ub2f9\uc131\uacfc \ubb3c\ub9ac\uc801 \uacf5\uac04\uc5d0&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":9726,"menu_order":400,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_lmt_disableupdate":"no","_lmt_disable":"","footnotes":""},"class_list":["post-9741","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9741","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=9741"}],"version-history":[{"count":29,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9741\/revisions"}],"predecessor-version":[{"id":9997,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9741\/revisions\/9997"}],"up":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9726"}],"wp:attachment":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/media?parent=9741"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}