|
Korean Article Bank
Çѱ¹½ÅÇÐ³í¹®ÀºÇà¿¡ ´ëÇÏ¿©
2007/07/10 (19:06)
from
84.173.185.253'
of
84.173.185.253'
|
Article Number : 524
|
±èº´ÇÑ
|
Access : 7228
,
Lines : 216
|
¿Ã¹Ù¸¥ ¼öÇÐÀ» ã¾Æ¼
±èº´ÇÑ
I. ¼·Ð
ÀϹÝÀûÀ¸·Î ¼öÇÐÀ̶ó´Â Çй®ÀÇ ¼Ó¼º»ó, Áõ¸íÀ̶ó´Â °úÁ¤À» ÅëÇØ »ç½Ç·Î È®ÀÎµÈ ¼öÇÐÀû ¸íÁ¦ÀÇ ÁøÀ§¿©ºÎ´Â Àǹ®À» Á¦±âÇÒ ¼ö ¾ø´Â °ÍÀ¸·Î ¾Ë·ÁÁ® ÀÖ´Ù. ÇÏÁö¸¸ ¼öÇп¡¼µµ, ¼·Î ´Ù¸¥ ÀÔÀåÀÇ ¼öÇÐÀÌ °Ç¼³ µÉ ¼ö ÀÖ°í, ±× ÀÔÀåµéÀÇ ´ë¸³°ú »óÃæÀ» ÅëÇØ `¿Ã¹Ù¸¥' ¼öÇÐÀ» ã¾Æ°¡´Â °úÁ¤ÀÌ ÀÖ¾ú´Ù´Â °ÍÀº ¼öÇпª»çÀÇ Èï¹Ì·Î¿î À̸éÀ̶ó ÇÏ°Ú´Ù. ½Ç·Ê·Î ÀÌ·¯ÇÑ ¿ª»ç´Â °í´ë·ÎºÎÅÍ Ã£¾Æº¼ ¼ö Àִµ¥, ÇÇŸ°í¶ó½º ÇÐÆÄ´Â À¯¸®¼ö¸¸ÀÌ ¼ö¶ó°í ÁÖÀåÇßÁö¸¸, ÇÑÆíÀ¸·Î ¸¦ ¸¸Á·ÇÏ´Â °¡ À¯¸®¼ö°¡ µÉ ¼ö ¾øÀ½µµ ¾Ë°í ÀÖ¾î ÀÌ¿¡ °üÇÑ Áõ¸íÀ» ¼û°å´Ù°í ÇÑ´Ù. Howard Eves, An Introduction to the History of Mathematics, New York: Saunders College Publishing, 1983, 55-56ÂÊ.
±×·¸´Ù¸é ¾î¶°ÇÑ ÀÌÀ¯¿¡¼ ¸¦ ¸¸Á·ÇÏ´Â ¼ö°¡ ¾ø´Â ¼öÇÐÀÌ ¾Æ´Ñ, ±× ½ÄÀ» ¸¸Á·ÇÏ´Â ¹«¸®¼ö °¡ Á¸ÀçÇÑ´Ù°í º¸´Â ¼öÇÐÀ¸·Î ¹ßÀüÇߴ°¡? ¶Ç´Â ¿Ö À½¼ö¿Í À½¼öÀÇ °öÀÌ ¾ç¼ö°¡ µÇµµ·Ï °öÀÌ Á¤ÀÇµÈ °ÍÀÌ ¹Ù¸¥ ¼öÇÐÀΰ¡? ÀÌ Áú¹®¿¡ ´ëÇÑ ´äÀº ¼öÇÐÀÇ ½Çü°¡ ¿ì¸®ÀÇ °æÇè°ú °ü·Ã ¾øÀÌ ¼±ÇèÀûÀ¸·Î Á¸ÀçÇϱ⠶§¹®ÀÌ¸ç ¿ì¸®´Â ´ÜÁö `¿Ã¹Ù¸¥' ¼öÇÐÀ» ¹ß°ßÇÒ »ÓÀ̶ó´Â ÇöóÅæÀû °üÁ¡À¸·Î ´ë´äµÉ ¼öµµ ÀÖ°ÚÁö¸¸, ½ÇÁ¦ ´ëºÎºÐÀÇ ¼öÇבּ¸ÀÚµéÀº ÀÌ·± °üÁ¡À» ÀǽÄÇÏÁö ¾Ê°í ÀÖ´Ù. »ç½Ç ¼öÇÐÀڵ鿡°Ô ÇöÀçÀÇ ¼öÇÐÀû Åä´ë¸¦ ÀÎÁ¤ÇÏ¸ç ¿¬±¸ÇÏ´Â ÀÌÀ¯¸¦ ¹¯´Â´Ù¸é, ±×µé ´ëºÎºÐÀº ±×°ÍÀÌ ¿ì¸®ÀÇ Á÷°ü°ú ÀÏÄ¡Çϱ⠶§¹®À̶ó°í ´ë´äÇÒ °ÍÀÌ´Ù. ¹®¸íÀÇ ±â¿ø°ú ´õºÒ¾î ½ÃÀÛµÈ ¿À·£ ¿ª»çÀÇ ¼öÇÐÀÌ ¾îÂî º¸¸é ³Ê¹« ´Ü¼øÇÏ´Ù ½ÍÀº ÀÌ·± °üÁ¡À» ÅëÇØ ÇöÀçÀÇ ÀÏ°üµÈ Çö´ë¼öÇÐÀ¸·Î Á¤¸³µÈ °ÍÀº, Àΰ£¿¡°Ô ÀÖ¾î¼ Á÷°üÀÇ ÅëÀϼºÀÌ ¾ó¸¶³ª °ÇÑ °ÍÀÎÁö¸¦ º¸¿©Áشٰí ÇÒ ¼ö ÀÖ´Ù. ¸¸ÀÏ Àηù¿ª»ç°¡ ´Ù½Ã µÇÇ®ÀÌ µÈ´ÙÇصµ ¼öÇÐÀº ÇöÀç¿Í °°ÀÌ ´Ù½Ã ¹ßÀüµÇ´Â ¿ª»ç¸¦ °¡Áú °ÍÀ̶ó´Â °ÍÀÌ ÇÊÀÚÀÇ »ý°¢ÀÌ´Ù. ±×°ÍÀÌ °á±¹ ÇöóÅæÀû °üÁ¡À» ¿ËÈ£ÇÏ´Â °ÍÀÌ ¾Æ´Ï³Ä´Â ÁöÀûÀ» ¹Þ´õ¶óµµ ¸»ÀÌ´Ù.
ÀÌ ¼Ò°í¿¡¼ ±×·¯ÇÑ ³íÀÇÀÇ ÁøÀüÀ» ½ÃµµÇÏ·Á´Â °ÍÀº ¾Æ´Ï´Ù. ¿©±â¼´Â ´ÜÁö, 19¼¼±â ¸» ¿Ã¹Ù¸¥ ¼öÇÐÀ» ã´Â °úÁ¤¿¡¼ °Þ¾ú´ø ¼öÇпª»çÀÇ °¡Àå ÷¿¹ÇÑ À§±â, ȤÀº ´ë¸³À» ¼Ò°³ÇÑ´Ù. ±×¸®°í ±×·Î ÀÎÇØ ¹ßÀüµÈ ¼öÇÐ ±âÃÊ·ÐÀÌ ÀÌ ¹®Á¦µéÀ» ¾î¶»°Ô ÇØ°áÇÏ·Á ½ÃµµÇßÀ¸¸ç ±×·Î ÀÎÇØ Á¤¸³µÈ ¼öÇп¡¼ Áø¸®, Áõ¸íÀÇ °³³äÀº ¹«¾ùÀΰ¡. ±× °úÁ¤¿¡¼ ¾Ë¾Æ³½ Àΰ£ÀÌ ±Ã±ØÀûÀ¸·Î µµ´ÞÇÒ ¼ö ¾ø´Â ÀνÄÀÇ ÇÑ°è¿¡ ´ëÇÑ »ç½Çµé, ±×¸®°í ¿Ã¹Ù¸¥ ¼öÇÐÀÇ Á¤¸³À» À§ÇØ °ú¿¬ ¾î¶°ÇÑ Åä´ë, °ø¸®¸¦ Çö´ë ¼öÇÐÀº äÅÃÇÏ°í Àִ°¡¿¡ ´ëÇØ »ìÆ캻´Ù. ±×¸®°í ÃÖ±Ù ÁýÇÕ·Ð ÀÚµé »çÀÌÀÇ `Á÷°ü'À» ³Ñ¾î¼´Â »ç¿µ°áÁ¤(Projective Determinacy)°ø¸®¿¡ °üÇÑ ³íÀï, Áï ±× °ø¸®´Â `¿Ã¹Ù¸§'¿¡µµ ºÒ±¸ÇÏ°í, ±×°ÍÀÇ ¿Ã¹Ù¸§À» ÀνÄÇÏ´Â °ÍÀº Á÷°ü¿¡ ÀÇÁ¸ÇÏÁö ¾Ê°í ±× °ø¸®¸¦ ¿¬±¸ÇÏ´Â `°æÇè'À» ÅëÇØ °¡´ÉÇϴٴ Ķ¸®Æ÷´Ï¾ÆÇÐÆÄÀÇ ÁÖÀå¿¡ ´ëÇØ ³íÀÇÇÏ°íÀÚ ÇÑ´Ù.
II. ¼öÇÐ ±âÃÊ·Ð ¼ö¸®³í¸®Çаú ¼öÇбâÃÊ·ÐÀÇ ¹üÁÖ´Â »ç½Ç Â÷ÀÌ°¡ ÀÖÀ» ¼ö ÀÖÀ¸³ª, º»°í¿¡¼´Â µÎ ¸»À» µ¿ÀϾî·Î Ãë±ÞÇÑ´Ù.
ÀÇ µîÀå
1. ÁýÇÕ·ÐÀÇ Ãâ¹ß
¼öÇÐÀÌ Çй®À¸·Î¼ÀÇ Ã¼°è¸¦ °®Ãß°ÔµÈ ÁÖ¿ä ÀÌÀ¯ÁßÀÇ Çϳª´Â, Á÷°üÀû ¶Ç´Â °æÇèÀûÀ¸·Î ´ç¿¬ÇÑ »ç½ÇµéÀ» `Áõ¸í¡®ÇÏ·Á°í Çß´ø °ÍÀÌ´Ù. À¯Å¬¸®µåÀÇ <¿ø·Ð>¿¡ Áõ¸íµÈ »ï°¢ÇüÀÇ ¼ºÁúµéÀº µ¿, ¼¾çÀÎ ¸ðµÎ°¡ ÀÍÈ÷ ¾Ë°í ÀÖ¾ú´Ù°í ÇÏ°Ú´Ù. ±×·¯³ª ±×·¯ÇÑ »ç½ÇµéÀÇ Áõ¸íÀ» ½ÃµµÇÔÀ¸·Î °³³äÀÇ Ãß»óÈ°¡ ÀÌ·ç¾îÁö°í ¿¬¿ªÀÇ »ç°í°¡ ¹ß´Þ, Á¤¸³µÇ¾ú´Ù. ¾Æ¹«¸® ´ç¿¬ÇÏ°Ô º¸¿©µµ (¶Ç´Â ¾Æ¹«¸® ¾Æ´Ñ °Í °°ÀÌ º¸¿©µµ), Áõ¸í¿¡ ÀÇÇØ È®ÀÎµÈ »ç½Ç(¶Ç´Â ¸íÁ¦)¸¸À» `(¼öÇÐÀû) Áø¸®¡¯·Î ¹Þ¾ÆµéÀδٴ °ÍÀÌ´Ù.
½Ã´ë¸¦ ÇÑÂü ¶Ù¾î³Ñ¾î 19¼¼±â ¸»¿¡ ¿Í¼ Áø¸®°³³äÀ» Æ÷ÇÔ, ¼öÇÐÀÇ ±âÃÊ¿¡ ´ëÇÑ ÀÌÇØÀÇ Çõ¸íÀû Áøº¸°¡ ÀÌ·ç¾îÁö´Âµ¥, ±× ½ÃÀÛÀº ÄÅ丣(Cantor)ÀÇ ÁýÇÕ·ÐÀÌ´Ù. ÀÌÇÏ IÀå¿¡¼ ¿ä¾àµÉ ¼öÇÐ ±âÃÊ·ÐÀÇ Ãʱ⠿ª»ç¿¡ ´ëÇؼ± ´ÙÀ½À» ÂüÁ¶Ç϶ó. A. Fraenkel, Y. Bar-Hillel and A. Levy, Foundations of Set Theory, Amsterdam: North-Holland, 1984; W. Hatcher, The Logical Foundations of Mathematics, New York: Pergamon Press, 1982; M. Kline, Mathematics, the Loss of Certainty, Oxford University Press, 1980; R. Wilder, Introduction to the Foundations of Mathematics, New York: John Wiley & Sons, 1965.
18, 19¼¼±â ¼öÇаú ¹°¸®ÇÐÀÇ ºü¸¥ ¹ßÀüÀº ¸ðÈ£ÇÑ °³³äÀ̳ª Áõ¸íÀ» ¹ÙÅÁÀ¸·Î ÀÌ·ç¾îÁø °æ¿ì°¡ ¸¹¾Ò´Ù. ¸î °¡Áö ½¬¿î ¿¹¸¦ µé¾îº¸¸é
¶ó´Â ±âÇϱ޼öÀÇ ½ÄÀÌ ÀÎ ¼ö ¿¡ ´ëÇØ ¼º¸³ÇÔÀº ½±°Ô ¾Ë ¼ö ÀÖ´Ù. ±×·±µ¥ ¿¡ -1À» ´ëÀÔÇÏ¿©, À̶ó´Â 1°ú 0À» ¹Ýº¹ÇÏ´Â ±Þ¼ö°¡ ·Î ¼ö·ÅÇÑ´Ù´Â(À߸øµÈ) °á°ú¸¦ »ç¿ëÇϱ⵵ Çß´Ù. ¶ÇÇÑ ¿¬¼Ó °î¼±¿¡ °üÇÑ Á¤È®ÇÑ °³³äÀÌ Á¤¸³µÇÁö ¾Ê¾Æ¼ ¸¹Àº ÁöµµÀû Çؼ®ÇÐÀڵ鿡 ÀÇÇØ ¿¬¼ÓÀÎ °î¼±Àº ¸ðµç Á¡¿¡¼ ¹ÌºÐ °¡´ÉÇÏ´Ù´Â ±×¸¥ Áõ¸íÀÌ ´ç½Ã ±³°ú¼¿¡ ÁÖ¾îÁö°ï Çß´Ù. ÀÌ·¯ÇÑ ¾ö¹Ð¼ºÀÇ °á¿©·Î »ý±â´Â ¹®Á¦µé¿¡ ´ëÇØ, °è¼ÓµÇ´Â »õ·Î¿î ¹ß°ßÀ» Á¶¸íÇÏ´À¶ó ¾ö¹ÐÇÔ¿¡ ¿¬¿¬Çϱ⿡´Â ½Ã°£ÀÌ ¾ø´Ù¶ó°í ¸»ÇÏ´Â ÇÐÀڵ鵵 ÀÖ¾ú´Ù. ÇÏÁö¸¸ ±×¸®½ºÀεéÀÇ Çй® ÀüÅë¿¡ »Ñ¸®¸¦ µÎ°íÀÖ´Â ¼¾ç ÇÐÀڵ鿡°Ô, <¿ø·Ð>¿¡¼ º¸¿©Á³´ø ¼öÇÐÀû ±¸Á¶ÀÇ °áÇÔ ¾ø´Â ÀÌ»ó(ìµßÌ)À» Ãß±¸ÇÔÀº Áß´ëÇÑ °úÁ¦·Î ³²Àº °ÍÀÌ´Ù.
±× ÀڽŠǪ¸®¿¡±Þ¼öÀÇ ¼ö·Å¿¡ °üÇÑ ¾ö¹Ð¼ºÀ» ¼¼¿ì°íÀÚ Çß´ø ÄÅ丣´Â, ¿¬±¸ÀÇ ºÎ»ê¹°·Î ÁýÇÕ·ÐÀ» ÁÖâÇϰԵȴÙ. ±×´Â ±×Àü±îÁö `½Çü¡®·Î ´Ù·ç±â¸¦ ²¨·È´ø ¹«ÇÑÁýÇÕÀ» ´Ù·ç°í, ±×µé »çÀÌ¿¡ `Å©±â¡¯, ¶Ç´Â `±â¼ö(Ðñâ¦, cardinality)' °³³äÀ» µµÀÔÇß´Ù. Áï, µÎ ¹«ÇÑÁýÇÕ »çÀÌ¿¡ ÀÏ´ëÀÏ ´ëÀÀÀÌ ÀÖÀ» °æ¿ì µÎ ÁýÇÕÀÇ Å©±â ȤÀº ±â¼ö°¡ °°´Ù°í ÇÑ °ÍÀÌ´Ù. ¿¹¸¦ µé¾î ÀÚ¿¬¼öÀÇ ÁýÇÕÀº À¯¸®¼ö ÁýÇÕ¿¡ Æ÷ÇԵʿ¡µµ ºÒ±¸ÇÏ°í µÎ ÁýÇÕ»çÀÌ¿¡ ÀÏ´ëÀÏ ´ëÀÀÀÌ Á¸ÀçÇÑ´Ù. µû¶ó¼ µÎ ÁýÇÕÀÇ `Å©±â¡®´Â °°´Ù°í ¸»ÇÒ ¼ö ÀÖ´Ù. Áï, ÀÚ¿¬¼ö ÁýÇÕÀÇ ±â¼ö¸¦ ¶ó°í Çϸé, ±×°ÍÀº À¯¸®¼ö ÁýÇÕÀÇ ±â¼öµµ µÇ´Â °ÍÀÌ´Ù. ÇÏÁö¸¸ ½Ç¼öÀÇ ÁýÇÕÀº ÀÚ¿¬¼ö ÁýÇÕ°ú ÀÏ´ëÀÏ ´ëÀÀÀÌ µÇÁö ¾Ê´Â´Ù. ½Ç¼öÁýÇÕ¿¡ ¼ø¼¸¦ ÁÖ¾î ù° ¿ø¼Ò, µÑ° ¿ø¼Ò, ¼Â° ¿ø¼Ò, ... ÀÌ·± ½ÄÀ¸·Î Àüü¸¦ ´Ù ¼¿ ¼ö ¾ø´Ù´Â °ÍÀÌ´Ù. Áï ½Ç¼öÁýÇÕÀÇ ±â¼öÀÎ ´Â, º¸´Ù Å« °ÍÀÌ´Ù.
ÀÌ»Ó ¾Æ´Ï¶ó ½Ç¼öµéÀ» Á÷¼±»óÀÇ Á¡µé·Î º¸¸é, ±× Á¡µéÀº Æò¸é ¶Ç´Â 3Â÷¿ø °ø°£ (ÀϹÝÀûÀ¸·Î nÂ÷¿ø °ø°£)ÀÇ Á¡µé°úµµ ÀÏ´ëÀÏ ´ëÀÀµÈ´Ù´Â ¹Ï¾îÁöÁö ¾Ê´Â °á·Ð±îÁö ¾ò°ÔµÈ´Ù. ´Ù½Ã ¸»ÇØ nÂ÷¿ø °ø°£ÀÇ ±â¼öµµ ¿ª½Ã ÀÎ °ÍÀÌ´Ù.
ÀÌ·¯ÇÑ È¹±âÀûÀÎ »ý°¢Àº óÀ½¿£ ¼öÇÐÀڵ鿡°Ô Àß ¹Þ¾Æµé¿©ÁöÁö ¾Ê¾Æ¼ Å©·Î³ØÄ¿µî ´ç½Ã ¼öÇÐÀÚµéÀÇ °ø°ÝÀ» ¹Þ±âµµ Çß´Ù. ±×·¯³ª °ð, ÁýÇÕ·ÐÀ» ±Ù°£À¸·Î ÀÚ¿¬¼ö ¹× ±×°ÍÀÇ »ê¼ú °³³äÀ» ¸íÈ®È÷ ÇÒ ¼ö ÀÖ°í, ±×°ÍÀ» ÅëÇØ Â÷·Ê·Î Á¤¼ö, À¯¸®¼ö, ½Ç¼ö¸¦ ±¸¼ºÇÏ¿© Çؼ®ÇÐÀÇ ¾ö¹Ð¼ºÀ» È®¸³ÇÒ ¼ö ÀÖÀ½À» ¾Ë°ÔµÇ¾ú´Ù. 20¼¼±â¿¡ Á¢¾îµé ¹«·Æ, ÇÐÀÚµéÀº ÁýÇÕ·ÐÀÌ ¼öÇÐÀÇ ±âÃÊÀÌ¸ç ±× Åä´ë À§¿¡ ¾ö¹ÐÇÑ ¼öÇÐÀ» °Ç¼³ÇÏ´Â ÀÌ»óÀ» ½ÇÇöÇÒ ¼ö ÀÖÀ¸¸®¶ó´Â ±â´ë¿¡ Â÷ ÀÖ¾ú´Ù. ´ç½Ã ÁöµµÀû ¼öÇÐÀÚ¿´´ø Èú¹öÆ®(Hilbert)´Â ÄÅ丣°¡ À̲ö ¼¼°è°¡ ¼öÇÐÀڵ鿡°Ô `³«¿ø¡®À̶ó´Â Ç¥Çö±îÁöµµ ¾²¸ç ÁýÇÕ·ÐÀ» ¿ËÈ£Çß´Ù. Çö´ë ¼ö¸®³í¸®ÀÇ ±¸¹®Àû Çü½ÄÀ» Á¤¸³Çϴµ¥ °øÀÌ Å«, öÇÐÀÚÀ̱⵵ Çß´ø ÇÁ·¹°Ô(Frege)´Â ÁýÇÕ·ÐÀ» Çü½Ä ³í¸®ÀûÀ¸·Î Àü°³ÇÏ·Á ÇÏ¿´´Ù. ÀÌ·¯ÇÑ ¸ðµç ½Ãµµ´Â ·¯¼¿ÀÇ ¿ª¸®¶ó ºÒ¸®´Â ½É°¢ÇÑ µµÀü¿¡ Á÷¸éÇϰԵȴÙ.
2. ·¯¼¿ÀÇ ¿ª¸®
1902³â ÇÁ·¹°Ô´Â, ¾Õ¼ ¸» ÇÑ´ë·Î ³í¸®Àû ¹æ¹ý·ÐÀ¸·Î ÁýÇÕ·Ð ¹× »ê¼úÀÇ Åä´ë¸¦ ¼¼¿ì°íÀÚ ¾´ ¡¶¼öÇÐÀÇ ±âº»¹ýÄ¢¡· G. Frege, Grundgesetze der Arithmetik, Begriffsschriftlich Abgeleitet, Jena Vol. 1 1893; Vol. 2, 1903 (English traslation in The Basic Laws of Arithmetic: Exposition of the System, University of California Press, 1964).
ÀÌ °ÅÀÇ ³¡³ª±æ ¹«·Æ ·¯¼¿(Russell)·ÎºÎÅÍ ±× Ã¥ÀÇ ±Ùº»À» Èçµå´Â ¸ð¼øÀ» ÁöÀûÇÑ ÆíÁö¸¦ ¹Þ´Â´Ù. ·¯¼¿Àº ±× ÆíÁö¿¡¼ `·¯¼¿ÀÇ ¿ª¸®¡®¶ó ÀÏÄ´ ÄÅ丣ÀÇ ÁýÇÕ·ÐÀÌ °¡Áö´Â ¸ð¼øÀ» ÁöÀûÇÑ´Ù. ÀÚ±â ÀÚ½ÅÀ» ¿ø¼Ò·Î °®Áö ¾Ê´Â ÁýÇÕÀ» ¸ðÀº ÁýÇÕÀ» ¶ó ÇÏÀÚ. Áï,
ÀÌ´Ù. ÀÇ ¿ø¼ÒµéÀº ÀÚ±â ÀÚ½ÅÀ» ¿ø¼Ò·Î °®Áö ¾ÊÀ¸¹Ç·Î, °¡ ÀÇ ¿ø¼ÒÀÌ¸é ´Â ÀÚ±â ÀÚ½ÅÀ» ¿ø¼Ò·Î °®Áö ¾ÊÀ¸¹Ç·Î °¡ ÀÇ ¿ø¼ÒÀÏ ¼ö ¾ø´Ù. ±âÈ£·Î ³ªÅ¸³»¸é
ÇÑÆí ´Â ÀÚ±â ÀÚ½ÅÀ» ¿ø¼Ò·Î °®Áö ¾Ê´Â ÁýÇÕÀ» ´Ù ¸ðÀº °ÍÀ̹ǷÎ, °¡ ÀÇ ¿ø¼Ò°¡ ¾Æ´Ï¸é ´Â ÀÚ½ÅÀ» ¿ø¼Ò·Î °®Áö ¾ÊÀ¸¹Ç·Î, ¿¡ ¼ÓÇÏ°Ô µÈ´Ù. ´Ù½Ã ¸»ÇØ
°¡ µÇ¾î, °á±¹
ÀÌ µÇ¹Ç·Î ¸ð¼øÀ» ¾ò´Â´Ù.
»ç½Ç ÁýÇÕ·ÐÀÌ °¡Áö´Â ¿ª¼³¿¡ °üÇÏ¿©¼± ÀÌ ¿Ü¿¡µµ ÀÌ¹Ì ÄÅ丣 ÀڽŠµî¿¡ ÀÇÇØ ¹ß°ßµÈ ¸ð¼øµéÀÌ ÀÖ¾ú´Ù. ÄÅ丣´Â ÇÑ ÁýÇÕ °¡ ÀÖÀ¸¸é, ÀÇ ¸èÁýÇÕ, Áï ÀÇ ºÎºÐÁýÇÕÀ» ´Ù ¸ðÀº ÁýÇÕÀº º¸´Ù Å©±â°¡ Å©´Ù´Â °ÍÀ» Áõ¸íÇÏ¿´´Ù. ±×·¸´Ù¸é ÁýÇÕÀ» ´Ù ¸ðÀº ÁýÇÕÀ» ¶ó Çϸé ÀÇ ¸èÁýÇÕ ÀÇ ¿ø¼Òµµ ¿ª½Ã ÁýÇÕÀ̹ǷΠ´Â ÀÇ ºÎºÐÁýÇÕÀÌ µÇ¾î ÀÇ Å©±â°¡ º¸´Ù Ŭ ¼ö ¾ø°ÔµÈ´Ù. ÀÌ·¯ÇÑ ¸ð¼øµéÀ» ³í¸®Àû ¿ª¸®¶ó ºÎ¸¥´Ù. »ó´ëÀûÀ¸·Î ±¸¹®Àû ¸ð¼øÀ̶ó ºÒ¸®´Â ¿ª¸®µéÀÌ Àִµ¥, ±× Áß ´ëÇ¥ÀûÀÎ °ÍÀº º£¸®ÀÇ ¿ª¸®ÀÌ´Ù. ÁýÇÕ·ÐÀÇ ¿ª¸®µé¿¡ °üÇØ A. Fraenkel, et. al. Foundations of Set Theory, Chapter I ÂüÁ¶.
ÀÚ¿¬¼ö Áß¿¡ ¼¸¥ ¹Ì¸¸ÀÇ ´Ü¾î·Î Á¤ÀÇ °¡´ÉÇÑ ¼öµéÀÇ ÁýÇÕÀ» ¶ó ÇÏÀÚ. ÇÑ±Û ´Ü¾î´Â À¯ÇÑ °³ ÀÖÀ¸¹Ç·Î ´Â À¯ÇÑ ÁýÇÕÀÌ´Ù. µû¶ó¼ ¿¡ µé¾î°¡Áö ¾Ê´Â ù ¹ø° ÀÚ¿¬¼ö°¡ Á¸ÀçÇÑ´Ù. ±× °ÍÀ» ¶ó ÇÏÀÚ. µû¶ó¼ ´Â ´ÙÀ½ÀÇ ¹®ÀåÀ¸·Î Á¤ÀǵȴÙ. `ÀÚ¿¬¼ö Áß¿¡ ¼¸¥ ¹Ì¸¸ÀÇ ´Ü¾î·Î Á¤ÀÇ °¡´ÉÇÏÁö ¾ÊÀº ù ¹ø° ¼ö¡®. ±×·¯³ª À̹®ÀåÀÇ ´Ü¾î´Â ¼¸¥ ¹Ì¸¸À̹ǷΠ´Â ÀÇ ¿ø¼Ò°¡ µÇ´Â ¸ð¼øÀ» ¾ò´Â´Ù. ·¯¼¿ÀÇ ¿ª¸® ÀÌÀüÀÇ ¿ª¸®µéÀº ÁýÇÕ·ÐÀÇ ±âº» °³³äµéÀ» ¸íÈ®È÷ ÇÔÀ¸·Î ÇÇÇØ°¥ ¼ö ÀÖÀ¸¸®¶ó´Â »ý°¢¿¡ Å« ÁÖ¸ñÀ» ¾òÁö ¸øÇß´Ù. ÇÏÁö¸¸ ·¯¼¿ÀÇ ¿ª¸®´Â ÁýÇÕ·ÐÀÇ ¸Å¿ì ±Ùº»ÀûÀÎ °áÇÔÀ» ÁöÀûÇÑ °ÍÀÌ¶ó ¿©°ÜÁ³´Ù. ÁýÇշп¡ Ä¡¸íÀû °áÇÔÀº ¼öÇÐÀÇ ±Ù°£À» Èçµå´Â °ÍÀ̱⿡, ÄÅ丣°¡ Á¦½ÃÇÑ ±Ùº» ¾ÆÀ̵ð¾î¸¦ »ì¸®¸ç ¸ð¼ø ¾ø´Â ÁýÇÕ·ÐÀ» °Ç¼³ÇÒ ¼ö Àִ°¡°¡ ¼öÇÐÀÚµéÀÌ ´ç¸éÇÑ °úÁ¦¿´´Ù.
3. Èú¹öÆ®ÀÇ Çü½ÄÁÖÀÇ
¼öÇÐÀÇ Àç°Ç¼³À̶ó´Â ÀÌ»óÀÇ ½ÇÇö µµ»ó¿¡¼ ¸¸³ ¿ª¸®µéÀº ¼öÇÐÀÚµéÀÇ ÀÇ°ß°ú ÀÔÀåÀ» ³ª´µ°Ô Çß´Ù. ¼öÇÐÀÚµé »çÀÌ¿¡¼ ÀÌ ½Ã±â°°ÀÌ, ´Ù¸¥ ÁÖÀå¿¡ µû¶ó ÀÇ°ßÀÌ Å©°Ô ³ª´µ¾ú´ø ¶§´Â ã±â Èûµé´Ù. ·¯¼¿°ú ÈÀÌÆ®Çìµå´Â ¡¶¼öÇÐÀÇ ¿ø¸®¡·¸¦ Àú¼úÇÏ¿© ³í¸®ÁÖÀǸ¦ Ç¥¹æÇÏ¿´´Ù. B. Russell and A. Whitehead, Principia Mathematica, Cambridge, 1925-27.
¼öÇÐÀÇ ±Ùº»À» ³í¸®ÇÐÀû °üÁ¡¿¡¼ ¼¼úÇÏ·Á´Â °Í, ¶Ç´Â ¼öÇÐÀ» ³í¸®ÇÐÀ¸·Î ȯ¿øÇÏ·Á´Â ½Ãµµ ¶§¹®¿¡, ÀÚ¿¬ Çö»óÀÇ ´Ù¾çÇÑ º¯ÈÀÇ Ç¥ÇöÀÌ ³í¸®ÇÐÀ¸·Î ±Í°áµÉ ¼ö ¾ø´Ù´Â ÀνĿ¡¼ ³í¸®ÁÖÀÇ°¡ ºñÆǹÞÀº °ÍÀº »ç½ÇÀÌ´Ù. ±×·¯³ª Çö´ë¼öÇÐÀÌ ÀÌ·¯ÇÑ ³í¸®ÁÖÀÇÀÇ ÀÔÀåÀ» ÃëÇÏÁö ¾Ê´Â °Íó·³ ÀϹÝÀûÀ¸·Î À߸ø ¾Ë·ÁÁø °Í°ú ´Þ¸®, Çö´ë ¼öÇÐÀº ÁýÇÕ·ÐÀ» ÅëÇÑ ¼öÇбâÃÊ·ÐÀÇ Á¤¸³°ú ±×°ÍÀÇ ¼ö¸® ³í¸®ÇÐÀû ±¸¼ºÀ¸·Î ÀÎÇØ ³í¸®ÁÖÀÇ¿Í ´ê¾ÆÀÖ´Ù. ´Ù¸¸ ¸¹Àº ¼öÇÐÀÚ°¡ ÀÌ·¯ÇÑ Çö´ë ¼öÇбâÃÊ·ÐÀ» ÀǽÄÇÏÁö ¾Ê°í ¼öÇÐÀ» ÇÏ°í ÀÖÀ¸¸ç, Çü½ÄÁÖÀÇ¿¡ ±âÃÊÇÑ´Ù´Â Àǹ̼ӿ¡ ³í¸®ÁÖÀÇÀÇ °üÁ¡ÀÌ ÀÖÀ½ÀÌ Á¾Á¾ °£°úµÈ´Ù.
³í¸®ÁÖÀÇÀÇ Ã¶ÇÐÀû ÀÔÀåÀº ¿À´Ã³¯¿¡µµ »ì¾ÆÀÖÀ¸³ª, ¡¶¼öÇÐÀÇ ¿ø¸®¡·ÀÇ ·¯¼¿°ú ÈÀÌÆ®ÇìµåÀÇ ½Ãµµ´Â ¼º°øÀûÀÌÁö ¸øÇß´Ù. ±×µéÀÌ ³íÀÇÀÇ Àü°³¿Í ¿ª¸®ÀÇ ¹æÁö¸¦ À§ÇØ ³»¼¼¿î `À¯Çü·Ð¡® ¿ª½Ã ¼öÇÐÀÚµéÀÌ ¹Þ¾ÆµéÀÏ ¸¸Å ¸¸Á·½º·´Áö ¸øÇ߱⠶§¹®ÀÌ´Ù.
Á» ´õ °ú°ÝÇÑ ÁÖÀåÀº À§»ó¼öÇÐÀÚ¿´´ø ºê¶ó¿ì¾î(Brouwer)¿¡°Ô¼ ³ª¿Â´Ù. ±×ÀÇ ÁÖÀåÀº ÀüÅëÀ» Èçµå´Â °ÍÀ¸·Î Áö±Ý±îÁö ´ç¿¬½ÃµÇ´ø ¼öÇÐÀÇ ¸¹Àº ºÎºÐÀ» Æ÷±âÇؾßÇß´Ù. ¿¹¸¦ µé¾î ¼öÇÐÀÇ ¸¹Àº Á¸Àç Áõ¸íÀº `Á¸ÀçÇÏÁö ¾Ê´Â´Ù¸é ¸ð¼øÀÌ À¯µµµÈ´Ù¡®´Â ±Í·ù³í¹ýÀ» ÅëÇؼ °¡´ÉÇÏ´Ù. ºê¶ó¿ì¾î¿¡°Õ Á¸ÀçÇÏÁö ¾Ê´Â´Ù¸é ¸ð¼øÀÌ »ý±ä´Ù´Â °ÍÀÌ Á¸ÀçÇÑ´Ù´Â °ÍÀ» ÀǹÌÇÏ´Â °ÍÀ¸·Î ±Í°áµÉ ÀÌÀ¯°¡ ¾ø´Ù. ±¸Ã¼ÀûÀ¸·Î ¾îµð¿¡ ¾î¶»°Ô Á¸ÀçÇÏ´ÂÁö¸¦ º¸ÀÏ ¼ö ÀÖ¾î¾ß¸¸ Á¸ÀçÁõ¸íÀ̶ó ÇÒ ¼ö ÀÖ´Ù´Â ¶æÀÌ´Ù. öÇÐÀûÀ¸·Î ¸Å¿ì Èï¹Ì ÀÖ´Â ÁÖÀåÀÌÁö¸¸, ¾Æ¸®½ºÅäÅÚ·¹½º ½Ã´ë ÀÌÈÄÀÇ ³í¸®Àû ¿ø¸®ÀÎ ¹èÁß·ü(ÛÉñé×È)À» Æ÷±âÇ϶ó´Â °ÍÀº Àý´ë ´Ù¼öÀÇ ¼öÇÐÀڵ鿡°Õ ¹Þ¾ÆµéÀÏ ¼ö ¾ø´Â ¿ä±¸¿´´Ù. ÂüÁ¶ W. van Stigt, Brouwer's Intuitionism, North-Holland, 1990.
°¡Àå ³Î¸® ¹Þ¾Æµé¿©Áø ÁÖÀåÀº ´ç½Ã ÃÖ°í ÁöµµÀû ¼öÇÐÀÚ¿´´ø Èú¹öÆ®ÀÇ Çü½ÄÁÖÀÇ´Ù. Èú¹öÆ®´Â ³í¸®ÁÖÀÇÀÚ¸¦ ºñÆÇÇßÁö¸¸, ±×ÀÇ ¹æ¹ý·ÐÀÇ ÀϺδ ³í¸®ÇÐÀÚµéÀÌ ¹ßÀü½ÃÄ×´ø °ÍÀ» äÅÃÇß´Ù. Çö´ëÀûÀ¸·Î Àß Á¤¸³µÈ ¼ö¸®³í¸®ÀÇ °üÁ¡¿¡¼ ±×ÀÇ Çü½ÄÁÖÀǸ¦ ¼¼úÇϸé, ¿ì¼± ³í¸®Àû, ¼öÇÐÀû Áø¼úÀº ¾ð¾îÀÇ ¸ðÈ£¼º°ú Á÷°üÀû Áö½ÄÀÇ ¹«ÀǽÄÀû »ç¿ëÀ» ÇÇÇϱâ À§ÇØ ±âÈ£·Î Ç¥Çö µÇ¾ß ÇÑ´Ù. ±×¸®°í ³í¸®ÇÐÀÇ ¸ðµç ¿ø¸®µéÀ» À̲ø¾î ³»±â À§ÇØ °ø¸®¶ó ºÒ¸®´Â ±âº» Áø¼úµéÀ» äÅÃÇÏ°í ±×°Í¿¡ ÀÇÇØ ´Ù¸¥ Áø¼úµéÀÌ ¿¬¿ªµÇ´Â ¸íÈ®ÇÑ ¹ýÄ¢À» Á¤ÇÑ´Ù. ÀÌ °úÁ¤Àº ÀÌ¹Ì ÇÁ·¹°Ô, ·¯¼¿ µîÀÇ ³í¸®ÇÐÀڵ鿡 ÀÇÇØ Á¤¸³µÅ ÀÖ¾ú´Ù. ±×·¯³ª Èú¹öÆ®ÀÇ °üÁ¡ÀÌ ±×µé°ú ´Ù¸¥ °ÍÀº ³í¸®ÇÐÀÇ °ø¸®¸¸À¸·Î ¼öÇÐÀ» À籸¼ºÇÏ´Â °ÍÀº ºÒÃæºÐÇϸç, ¼öÇÐÀº ¿¹¸¦ µé¾î ÁýÇÕ·ÐÀ̳ª »ê¼ú µîÀº, °¢°¢ ÀÚ½ÅÀÇ °ø¸®Ã¼°è°¡ ÇÊ¿äÇÏ´Ù´Â °ÍÀÌ´Ù. »ê¼ú¿¡ °üÇÏ¿©¼± ÀÌ¹Ì Æä¾Æ³ë(Peano)ÀÇ °ø¸® ü°è°¡ ÀÖ¾ú°í, ÁýÇÕ·ÐÀ» À§ÇÑ °ø¸®Ã¼°è´Â ü¸£¸á·Î(Zermelo)¿Í ÇÁ·©ÄÌ(Fraenkel)¿¡ ÀÇÇØ ¹ßÀüµÇ¾ú´Ù. ¹°·Ð ±×µé °ø¸®µéÀº ¾Õ¼ ¸»Çß´ø ¿ª¸®µéÀÌ »ý±âÁö ¾Ê´Â Àǵµ¸¦ °¡Áö°í ¼±ÅõǾú´Ù. À̸®ÇÏ¿©, ÇÑ ¼öÇÐÀû ü°è»ó¿¡¼, Áï ÁýÇշРü°è³ª »ê¼úü°è¿¡¼ ±âÈ£ÈµÈ `¸íÁ¦¡®°¡ `Áõ¸í¡¯µÈ´Ù´Â °ÍÀ» Á¤ÀÇÇÒ ¼ö ÀÖ´Ù. ü¸£¸á·Î-ÇÁ·©ÄÌ ÁýÇÕ·Ð °ø¸®ÀÇ ±¸Ã¼Àû ³»¿ë°ú, Áõ¸íÀÇ Çü½ÄÀû Á¤ÀǸ¦ ´ÙÀ½ Àå¿¡¼ ¼³¸íÇÒ °ÍÀÌ´Ù.
Áõ¸íÀÇ °úÁ¤Àº öÀúÈ÷ Á÷°üÀÌ ¹èÁ¦µÇ°í ±â°èÀûÀÎ ¿¬¿ªÀÛ¾÷ÀÇ À¯ÇÑ ¹Ýº¹À¸·Î ÀÌ·ç¾îÁú »ÓÀÌ´Ù.
ÀÌÇØ°¡ ½±°Ô ¼³¸íÇϸé, ¼öÇÐÀÇ Çü½Äü°è´Â ÀÏÁ¾ÀÇ ÄÄÇ»ÅÍ ÇÁ·Î±×·¥À¸·Î ÀÌÇØµÉ ¼ö ÀÖ´Ù. ±× ÇÁ·Î±×·¥¿¡´Â ±âº»ÀÌ µÇ´Â ³í¸®ÀÇ °ø¸®µéÀÌ ÀԷµǾî ÀÖ´Ù. ±×¸®°í °ø¸®·ÎºÎÅÍ Ãâ¹ßÇÏ¿© »õ·Î¿î ¸íÁ¦¸¦ µµÃâÇÏ´Â ¹æ½ÄÀÌ ÀԷµÅÀÖ´Ù. ÀÌ ÇÁ·Î±×·¥¿¡, ±âÃÊ°¡ µÇ´Â ¼öÇкоßÀÇ °ø¸®µé, ¿¹¸¦ µé¾î ¾Õ¼ ¸»ÇÑ »ê¼úÀÇ °ø¸®³ª, ÁýÇÕ·ÐÀÇ °ø¸®¸¦ ÀÔ·ÂÇÔÀ¸·Î, ºÐ¾ßÀÇ Çü½Äü°è ÇÁ·Î±×·¥ÀÌ ¿Ï¼ºµÈ´Ù. »ê¼ú¿¡ °üÇÑ ÇÑ ¸íÁ¦ÀÇ Áõ¸íÀÌ ¿ÇÀº°¡ ÇÏ´Â °ÍÀº, À¯ÇÑ ÇÑ Áõ¸í °úÁ¤ °¢ ´Ü°è°¡ ÇÁ·Î±×·¥¿¡ ÀÔ·ÂµÈ ¹ýÄ¢¿¡ µû¶ó ÁøÇàµÆ´Â°¡¸¦ ÄÄÇ»ÅÍ°¡ ±â°èÀûÀ¸·Î È®ÀÎÇϱ⸸ ÇÏ¸é µÈ´Ù. ÀÌ·± ¹æ½ÄÀ̶ó¸é ±¸¹®Àû ¸ð¼øÀ» ºÒ·¯¿Ô´ø º£¸®ÀÇ ÆĶ󵶽º³ª, Á÷°üÀ̳ª Æí°ßÀ¸·Î ÀÎÇÑ Áõ¸íÀÇ ¿À·ù´Â ¼³ÀÚ¸®¸¦ ÀÒ°Ô µÈ´Ù. ¹°·Ð Çü½ÄÁÖÀÇ´Â ¼öÇÐÀÇ ´ë»óÀÌ ´ÜÁö °¡»óÀû ±âÈ£µéÀÇ ³ª¿¿¡ ºÒ°úÇϳĴ öÇÐÀû ÀúÇ׿¡ Á÷¸éÇÑ´Ù. ±×·¯ÇÑ Àǹ®¿¡ »ó°ü¾øÀÌ, Çö´ë ¼öÇÐÀº Çü½ÄÁÖÀÇ Åä´ë À§¿¡¼ ¹ßÀüÇß´Ù.
Èú¹öÆ®ÀÇ Çü½ÄÁÖÀÇ´Â ¿À´Ã³¯ÀÇ °üÁ¡¿¡¼ º¸¸é, ´ç½ÃÀÇ ³í¸®ÁÖÀdzª, °ø¸®ÁÖÀǸ¦ ÅëÇÕÇÏ¿© Çö´ë ¼ö¸®³í¸®ÀÇ ¹ßÀü ¹æÇâÀ» Á¦½ÃÇß´Ù°í º¼ ¼ö ÀÖ´Ù. R. Wilder, Introduction to the Foundations of Mathematics 264ÂÊ.
Èú¹öÆ®°¡ Çü½ÄÁÖÀǸ¦ Á¦Ã¢ÇÏ¸é¼ ¸ñÇ¥·Î ¼¼¿î °ÍÀº ÀÌ·¯ÇÑ Çü½ÄÀû ¹æ¹ýÀ¸·Î °Ç¼³µÈ ¼öÇÐÀÌ ¹«¸ð¼øÇÔÀ» Áõ¸íÇÔÀ¸·Î ÁýÇÕ·ÐÀÇ ¿ª¸®¿¡¼ Á¦±âµÈ ¼öÇбâÃÊÀÇ °áÇÔ¿¡ ´ëÇÑ ÀǽÉÀ» ´Ü¹ø¿¡ Á¦°ÅÇÏÀÚ´Â °ÍÀ̾ú´Ù. ´Ù½Ã ÇÁ·Î±×·¥ÀÇ ºñÀ¯·Î µ¹¾Æ°¡, ÇÁ·Î±×·¥ÀÌ ¾î¶°ÇÑ ¼º°ÝÀ» °®´Â°¡, ¿¹¸¦ µé¾î ÇÁ·Î±×·¥¿¡ ¿À·ù°¡ ¾ø´Â°¡¿¡ ´ëÇÑ ´äÀº ÇÁ·Î±×·¥°ú µ¶¸³ÀûÀ¸·Î ÀÌ·ç¾îÁú ¼ö¹Û¿¡ ¾ø´Ù. ÀÌ¿Í °°ÀÌ ÇÑ Çü½Äü°èÀÇ ¹«¸ð¼øÀ» ³íÇϱâ À§Çؼ± ´Ù½Ã ¾ð¾îÀÇ ¼¼ú¿¡ ÀÇÁ¸ÇÏ´Â ¹æ¹ýÀ» »ç¿ëÇؾßÇÑ´Ù. ÀÌ·¸°Ô Çü½Äü°è°£ÀÇ °ü°è³ª ¼ºÁúÀ» ³íÇÏ´Â °ÍÀ» Èú¹öÆ®´Â ÃʼöÇÐ(metamathematics)À̶ó ºÒ·¶À¸¸ç, Á÷°üÀûÀ¸·Î ÀÚ¸íÇÏ¿© ´©±¸³ª ÀÇ½É ¾øÀÌ ¹Þ¾ÆµéÀÏ `À¯ÇÑÀû¡® Èú¹öÆ®°¡ »ç¿ëÇÑ À¯ÇÑÀû(finitary) ¹æ¹ýÀ̶ó´Â ¸»Àº Á» ¸ðÈ£ÇÏ¿©, ÇöÀç±îÁöµµ Á¾Á¾ ³í¶õÀÇ ´ë»óÀÌ µÇ±âµµ ÇÑ´Ù.
ÃʼöÇÐÀ¸·Î , Çü½Äü°èÀÇ ¹«¸ð¼øÀ» Áõ¸íÇÒ ¼ö ÀÖÀ¸¸®¶ó ¿©°å´Ù. ±×·¯³ª ±×ÀÇ ¸ñÇ¥´Â ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¿¡ ÀÇÇØ, ±×°¡ ¿øÇÏ´ø ¹æ¹ýÀ¸·Ð ¼ºÃëµÉ ¼ö ¾øÀ½ÀÌ ¹àÇôÁø´Ù.
4. ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®
1931³â 20´ëÀÇ Äí¸£Æ® ±«µ¨(Kurt Gödel)Àº, Çа踦 ±ô¦ ³î¶ó°Ô ÇÑ ±×ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¶ó ºÒ¸®´Â °á°úµéÀ» ¹ßÇ¥ÇÑ´Ù. K. Gödel, Collected Works, 3 Volumes, Oxford University Press, 1995.
2003³â 6¿ù 19ÀÏ ±×ÀÇ Ã¹ ¹ø° ºÒ¿ÏÀü¼º Á¤¸®´Â ´ÙÀ½°ú °°´Ù. ±âº» »ê¼úÀ» Æ÷ÇÔÇÑ, ¸ð¼ø ¾ø´Â ¼öÇРü°è´Â ºÒ¿ÏÀüÇÏ´Ù Á» ´õ Á¤È®È÷´Â, ¸ð¼ø ¾ø´Â ³í¸®Ã¼°è°¡ ÀÖ¾î, ±× ³í¸®Ã¼°èÀÇ °ø¸®µéÀÌ Àνİ¡´ÉÇÏ°í (Áï, °ø¸®µéÀ» ±¸ºÐÇÒ ¾Ë°í¸®µë, ¿¹¸¦ µé¾î ÄÄÇ»ÅÍ ÇÁ·Î±×·¥À» ¸¸µé ¼ö ÀÖ°í), °Å±â¼ ±âº»»ê¼úÀÇ ¼³¸íÀÌ °¡´ÉÇϸé, ±× ü°è´Â ºÒ¿ÏÀüÇÏ´Ù. ¿¹¸¦ µé¾î Æä¾Æ³ë °ø¸®Ã¼°è´Â ±×·¯ÇÑ Ã¼°èÁßÀÇ ÇϳªÀε¥, ±«µ¨Àº °Å±â¼ Áõ¸íµÇÁö ¾Ê´Â ¸íÁ¦°¡ ÀÚ¿¬¼ö ¸ðµ¨¿¡¼´Â Áø¸®ÀÓÀ» º¸¿´´Ù. Áï ±«µ¨ Á¤¸®´Â, Áø¸®À̳ª ¿ì¸®°¡ ÀνÄÇÒ ¼ö ÀÖ´Â °ø¸®Ã¼°è ³»¿¡¼´Â Áõ¸íÇÒ ¼ö ¾ø´Â ¸íÁ¦°¡ ÀÖ´Ù´Â Àǹ̷εµ Çؼ®ÇÒ ¼ö ÀÖ´Ù. IVÀå µµÀԺθ¦ º¸¶ó.
Áï ¾Õ¼ ¸»ÇÑ Æä¾Æ³ë °ø¸®Ã¼°è´Â ´ç¿¬È÷ »ê¼úÀÇ ±âº»(µ¡¼À, °ö¼ÀÀÇ ±âº» ¼ºÁúµé)À» Æ÷ÇÔÇÏ°í, ü¸£¸á·Î-ÇÁ·©ÄÌÀÇ ÁýÇÕ·Ð °ø¸®Ã¼°èµµ ü°è ³»¿¡¼ ÀÚ¿¬¼ö¿Í ±× ¿¬»ê¿¡ ´ëÇÑ Á¤ÀÇ¿Í Áø¼úÀÌ °¡´ÉÇÏ´Ù. ÀÌ·¯ÇÑ Ã¼°è¿¡¼ ¸ð¼øÀÌ À¯µµµÇÁö ¾Ê´Â´Ù¸é, ±× ü°è ³»¿¡¼´Â Áõ¸íµµ ¾ÈµÇ°í, ºÎÁ¤µµ ¾È µÇ´Â ¸íÁ¦°¡ Á¸ÀçÇÑ´Ù´Â °ÍÀÌ´Ù. (ÀÌ·¯ÇÑ Ã¼°è¸¦ ºÒ¿ÏÀüÇÏ´Ù°í ÇÑ´Ù.) ±×ÀÇ µÎ ¹ø° ºÒ¿ÏÀü¼º Á¤¸®´Â ´õ¿í ³î¶ó¿î °ÍÀε¥, ¿ª½Ã ±âº» »ê¼úÀ» Æ÷ÇÔÇÑ ¼öÇÐü°è°¡ ¸ð¼øÀÌ ¾ø´Ù¸é, ±× ü°è ³»¿¡¼ ±× ü°èÀÇ ¹«¸ð¼øÀ» Áõ¸íÇÏ´Â °ÍÀÌ °¡´ÉÇÏÁö ¾Ê´Ù´Â °ÍÀÌ´Ù. ÀÌ ¸»Àº °á±¹ Èú¹öÆ®ÀÇ ¼öÇÐ ±âº»Ã¼°è°¡ ¹«¸ð¼øÇÔÀ» Áõ¸íÇÏ·Á´Â ¸ñÇ¥°¡ ¼ºÃëµÉ ¼ö ¾øÀ½À» ¶æÇÏ´Â °ÍÀÌ´Ù. µû¶ó¼ Çö´ë ¼öÇÐÀÇ ±Ù°£ÀÌ µÇ´Â ü¸£¸á·Î-ÇÁ·©ÄÌ ÁýÇÕ·ÐÀº ¸ð¼øÀÌ ¾ø´Â ü°èÀ̱⿡ ±× ü°èÀÇ ¹«¸ð¼øÀ» Áõ¸íÇÒ ¼ö ¾ø°Å³ª ÀÌ ¸»Àº Èú¹öÆ®°¡ ¿øÇß´ø À¯ÇÑÀû ¹æ¹ýÀ¸·Î´Â ºÒ°¡´ÉÇÏ´Ù´Â ¸»ÀÌ´Ù. °ÕÁ¨Àº ºÒ¿ÏÀü¼º Á¤¸®°¡ ³ª¿Â ¼ö³â ÈÄ ÃÊÇÑ ±Í³³¹ý(Transfinite Induction)À» »ç¿ëÇÏ¿© »ê¼úÀÇ ¹«¸ð¼øÀ» Áõ¸íÇß´Ù. G. Gentzen.. Collected papers, Amsteldam: North-Holland, 1969. ºÒ¿ÏÀü¼º Á¤¸®°¡ Èú¹öÆ®ÀÇ °ÔȹÀ» ¹«³Ê¶ß¸° °ÍÀÌ ¾Æ´Ï¶ó°í º¸´Â °ßÇصµ ¼Ò¼ö ÀÖ±ä ÇÏ´Ù. M. Detlefson, Hilbert's Program, Dordrecht: Academic Press, 1986 ÂüÁ¶.
, ¶Ç´Â ÄÅ丣ÀÇ ¼Ò¹ÚÇÑ ÁýÇÕ·ÐÀÌ ±×·¨´ø °Íó·³, ¹Ì·¡¿¡ ´©±º°¡¿¡ ÀÇÇØ ¸ð¼øÀÌ ¹ß°ßµÇ¾î(´ëºÎºÐÀÇ ¼öÇÐÀÚ°¡ ±×·± °¡´É¼ºÀÌ ¾ø´Ù°í ¹ÏÁö¸¸) ¼öÁ¤ ¶Ç´Â Æó±â¸¦ ¿äÇϰųª, µÑ Áß ÇϳªÀÇ ±× ¾î´À °æ¿ìµµ ºÒ¾ÈÁ¤ÇÑ »óŸ¦ ¹þ¾î³¯ ¼ö ¾ø´Ù´Â °ÍÀÌ´Ù. ÀÌ´Â Àΰ£ À̼º(ìµàõ)ÀÇ ÇѰ踦 ±Ø¸íÇÏ°Ô º¸¿©ÁÜ°ú µ¿½Ã¿¡, ±× ÇѰ踦 ¶ÇÇÑ ¸íÈ®È÷ ¹àÇû´Ù´Â »ç½Ç¿¡ À̼ºÀÇ À§´ë¼ºÀ» µ¿½Ã¿¡ º¸¿©ÁØ´Ù ÇÏ°Ú´Ù.
±«µ¨ÀÇ Á¤¸®´Â ¹«¸ð¼ø¿¡ °üÇÑ ¹®Á¦°¡ ±Ã±ØÀûÀ¸·Î ºÒ¿ÏÀüÇÑ ÇØ´äÀ» °¡Áú ¼ö¹Û¿¡ ¾ø´Ù´Â °á·ÐÀ¸·Î, ¿ÀÈ÷·Á ±×ÀÇ Á¤¸® ÀÌÈÄ ¼öÇÐ ±âÃÊ·ÐÀº ¹«¸ð¼øÀÇ ¹®Á¦¿¡¼ ¹þ¾î³ª ºü¸¥ ¼Óµµ·Î ¹ßÀüÇÏ°Ô µÈ´Ù. óĥ, Ÿ¸£½ºÅ° µî¿¡ ÀÇÇØ ¼ö¸®³í¸®ÀÇ Çй®Àû ±âÃÊ°¡ ´õ¿í °ø°íÈ÷ µÇ¾ú´Ù. Æ©¸µ, Æù ³ëÀ̸¸ µî¿¡ ÀÇÇØ ÀÌ·Ð Àü»êÀÇ Åµ¿ÀÌ, ½ÇÁ¦ ÄÄÇ»ÅÍ ¼³°èÀÇ °á°ú·Î À̾îÁö°í ÀÌ¿¡ µû¸¥ °è»êÀÌ·Ð, ÄÄÇ»ÅÍ ÀÌ·ÐÀÇ ¹ßÀüÀº ÁÖÁöÇÏ´Â ¹ÙÀÌ´Ù. ¼ö¸®³í¸®¿¡¼ ÄÄÇ»ÅÍÀÇ Á¦ÀÛÀ¸·Î À̾îÁö´Â ¿ª»ç¿¡ °üÇØ ´ÙÀ½À» ÂüÁ¶. M. Davis, , Engines of Logic, New York: W. W. Norton & Company, 2000.
»Ó¸¸ ¾Æ´Ï¶ó ¼ö¸®³í¸®´Â ¾ð¾îÇп¡µµ ¿µÇâÀ» ¹ÌÃÆ°í, ±âÃÊ·ÐÀº ¼ö¸® öÇÐÀÇ ÁÖµÈ ³íÁ¦ÀÓÀº ¸»ÇÒ ³ªÀ§ ¾ø°Ú´Ù. ¾ç»ó³í¸®(Modal Logic)¿Í °ü·ÃÇÏ¿© G. Boolos, The Logic of Provability, Cambridge University Press, 1993; ¼ö¸®Ã¶ÇÐ °ü·Ã P. Benacerraf and H. Putnam, Philosophy of Mathematics, selected readings, Cambridge University Press, 1998 ÂüÁ¶.
ÃÖ±Ù ½©¶ó¿Í ÈÄ·ç¼îºê½ºÅ°¿¡ ÀÇÇÑ, ¼ö¸®³í¸®ÀÇ ÇÑ ºÐ¾ßÀÎ ¸ðµ¨·ÐÀÇ ¹ßÀüÀº, ´ë¼ö±âÇÏ ¹× Á¤¼ö·Ð µî¿¡ Å« ¿µÇâÀ» ¹ÌÃÆ´Ù. S. Shelah, Classification Theory, Amsteldam: North-Holland, 1990; E. Hrushovski, ``The Mordell-Lang conjecture for function fields'', Journal of American Mathematical Society, 1996, 667-690ÂÊ.
Áï ±× ¿µ¿ªÀÌ ±âÃÊ·Ð »Ó ¾Æ´Ñ, ¼öÇÐÀÇ º»·¡ °ü½É»ç¿¡±îÁö È®´ëµÇ´Â µî ¼ö¸®³í¸®ÇÐÀÇ ¹ßÀü°ú È®ÀåÀº Á¦ÇÑ ¾øÀÌ °è¼ÓµÇ°í ÀÖ´Ù.
III. ¼öÇÐÀÇ Áø¸®°³³ä
1. ÁýÇÕ·Ð Çü½Äü°è
ÀÌ Àå¿¡¼´Â Á» ´õ ±¸Ã¼ÀûÀ¸·Î ÁýÇÕ·ÐÀÇ Çü½Äü°è¸¦ »ìÆ캸ÀÚ. ¸ÕÀú ÁýÇÕ·ÐÀÇ Áø¼úµéÀ» `Á¤½Ä(formula)'À̶ó ºÎ¸£´Âµ¥, ´ÙÀ½°ú °°ÀÌ ±¸¼ºµÈ´Ù. ¾²ÀÌ´Â ±âÈ£µéÀº ¿¬°á±âÈ£,,, , , ¾çÈ(åÖûù)±âÈ£(quantifier) ,, º¸Á¶±âÈ£ (, ) ±×¸®°í ¼ú¾î(âûåÞ)±âÈ£ ,, ³¡À¸·Î º¯Ç×±âÈ£ , , ,...µéÀÌ´Ù. À̵éÀÌ ´ÙÀ½°ú °°ÀÌ ¿¬°áµÉ ¶§ `Á¤½Ä¡®À̶ó ºÎ¸¥´Ù. ¿ì¼± , ¶Ç´Â x°¡ yÀÇ ¿ø¼ÒÀÓÀ» ¶æÇÑ´Ù.
´Â Á¤½ÄÀÌ´Ù. ¿Í °¡ Á¤½ÄÀ̸é , , , , ¸ðµÎ Á¤½ÄÀÌ°í, °¢°¢, ¥õ°¡ ¾Æ´Ï´Ù, ¥õÀÌ¸é ¥÷ÀÌ´Ù, ¥õ¿Í ¥÷´Â µ¿Ä¡ÀÌ´Ù, ¥õÀÌ°í ¥÷ÀÌ´Ù, ¥õÀ̰ųª ¥÷ÀÌ´Ù,¸¦ ¶æÇÑ´Ù.
¿Í µµ Á¤½ÄÀÌ´Ù. °¢°¢, ¸ðµç x¿¡ ´ëÇØ ¥õÀÌ´Ù, ¥õÀÎ x°¡ Á¸ÀçÇÑ´Ù,´Â ¶æÀÌ´Ù.
¿¹¸¦ µé¾î ¸ðµç z¿¡ ´ëÇØ, x¿Í y°¡ °°À» ¶§, z°¡ xÀÇ ¿ø¼ÒÀ̸é z´Â yÀÇ ¿ø¼ÒÀÌ´Ù.
´Â Á¤½ÄÀÌ´Ù. ÀÌ Á¤½Ä¿¡¼ ´Â ¾çȱâÈ£ ¿¡ ÇÑÁ¤µÅ Àִµ¥, ÀÌ °æ¿ì `º¯Ç× °¡ ÇÑÁ¤µÅÀÖ´Ù¡¯°í ÇÑ´Ù. , ´Â ÇÑÁ¤µÅ ÀÖÁö ¾ÊÀ¸¹Ç·Î ÀÚÀ¯º¯Ç×À̶ó ÇÑ´Ù. Á¤½ÄÀ» º¸Åë À¸·Î Ç¥½ÃÇϴµ¥, ÀÌ´Â º¯Ç× ÀÌ Á¤½Ä ÀÇ ÀÚÀ¯º¯Ç×À̶ó´Â Àǹ̴Ù. Á¤½Ä¿¡ ÀÚÀ¯º¯Ç×ÀÌ Çϳªµµ ¾ø´Â °æ¿ì¸¦ ¸íÁ¦, ¶Ç´Â ¹®Àå(sentence)À̶ó ºÎ¸¥´Ù. ¿¹¸¦ µé¾î À§ÀÇ Á¤½Ä¿¡ ¸¦ ºÙÀÎ ´Â ¸íÁ¦°¡ µÈ´Ù. ´ÙÀ½ ÀÛ¾÷Àº IÀå¿¡¼ ¼³¸í ÇÑ´ë·Î, ¸ðµç Çü½Äü°è¿¡ Àû¿ëµÇ´Â, ³í¸®Àû °ø¸®µéÀ» ³ª¿ÇÏ´Â ÀÏÀÌ´Ù. ¿©±â¼ ±¸Ã¼ÀûÀ¸·Î ¿°ÅÇÏÁø ¾Ê°ÚÀ¸³ª, ÀϹÝÀûÀ¸·Î ÀÚ¸íÇÏ¿© °ø¸®·Î äÅÃÇÏ°í ½ÍÀº ¸íÁ¦µéÀ» Æ÷ÇÔÇÑ´Ù°í º¸¸é µÈ´Ù. ¿¹¸¦ µé¾î, , °¡ Á¤½ÄÀÏ °æ¿ì , ,, µéÀº ¸ðµÎ ³í¸®Àû °ø¸®ÀÌ´Ù. À̵éÀº ¸ðµÎ Áø¸®Ç¥¿¡ ÀÇÇØ Ç×Áø(ùöòØ, tautology)ÀÌ´Ù.
¶ÇÇÑ °¡ ¸íÁ¦ÀÏ °æ¿ì µµ ³í¸®Àû °ø¸®ÀÌ°í, , , ¾Õ¼ ¾ð±ÞÇÑ µµ ¸ðµÎ ³í¸®Àû °ø¸®µéÀÌ´Ù.
´ÙÀ½Àº ÁýÇÕ·ÐÀÇ °ø¸®µéÀ» ³ª¿ÇÑ´Ù. ü¸£¸á·Î¿Í ÇÁ·©ÄÌ Ä¡È¯°ø¸®¸¦ Á¦¿ÜÇÑ ¸ðµç °ø¸®µéÀÌ Ã¼¸£¸á·Î¿¡ ÀÇÇì Á¦¾ÈµÇ¾ú´Ù. ÈÄ¿¡ ÇÁ·©ÄÌÀÌ Ä¡È¯°ø¸®°¡ ÇÊ¿äÇÔÀ» ÁöÀûÇß´Ù.
ÀÌ Á¤¸³ÇÑ ÁýÇÕ·ÐÀÇ °ø¸®µéÀ» ZFC ¶ó ºÎ¸£´Âµ¥, ¿©±â¼ C´Â ¼±Åà °ø¸®(Choice Axiom)¸¦ ¶æÇÑ´Ù. ¼±Åðø¸®¸¸À» µû·Î ¸Ó¸´±ÛÀÚ¿¡ ºÙÀÌ´Â ÀÌÀ¯´Â ¼±Åðø¸®°¡ ³íÀïÀÇ ´ë»óÀÌ µÇ¾î Á¾Á¾ ¼±Åðø¸®¸¦ Á¦¿ÜÇÑ °ø¸®µé ZF¿Í ±¸ºÐµÇ¾î ¿¬±¸µÇ±â ¶§¹®ÀÌ´Ù. ¼Ò°í¿¡¼± ´Ù·çÁö ¾Ê°ÚÁö¸¸ ¼±Åðø¸®¿¡ ´ëÇÑ ³íÀï ¿ª½Ã ¸Å¿ì Èï¹Ì ÀÖ´Â ¿ª»ç°¡ ÀÖ´Ù. G. Moore, Zermelo's Axiom of Choice, Its Origins, Development, and Influence, Studies in the History of Mathematics and Physical Science, Vol. 8, New York: Springer-Verlag, 1982; S. Wagon, The Banach-Tarski Paradox, Cambridge University Press, 1985.
(1) ¿Ü¿¬¼º °ø¸®(Extensionality Axiom)
.
(2) ½Ö ÁýÇÕ °ø¸®(Pairing Axiom) ÁýÇÕ x¿Í y°¡ ÀÖÀ» ¶§, µÑÀ» ¸ðÀº ÁýÇÕ z={x,y}°¡ Á¸ÀçÇÑ´Ù.
.
(3) ÇÕÁýÇÕÀÇ °ø¸®(Union Axiom) ÁýÇÕ x¿¡´ëÇØ xÀÇ ¿ø¼ÒµéÀ» ¸ðµÎ ÇÕÇÑ ÁýÇÕ y°¡ Á¸ÀçÇÑ´Ù. ¿¹¸¦ µé¾î x={a,b,c}¶ó¸é y´Â a¡úb¡úc={z| z¡ôa, or z¡ôb, or z¡ôc}°¡ µÈ´Ù.
.
(4) ¸èÁýÇÕÀÇ °ø¸®(Power Set Axiom) ÁýÇÕ xÀÇ ºÎºÐÁýÇÕÀ» ´Ù ¸ðÀº ¸èÁýÇÕÀÌ Á¸ÀçÇÑ´Ù.
.
(5) ºÎºÐÁýÇÕÀÇ °ø¸®µé(¶Ç´Â ³»Æ÷¼º °ø¸®µé, Subset Axioms)
°¡ Á¤½ÄÀÏ ¶§,
. ÁýÇÕ z¿Í Á¶°Ç ¥õ(x)°¡ ÀÖÀ» ¶§, zÀÇ ¿ø¼Ò Áß, ¥õ(x)¸¦ ¸¸Á·ÇÏ´Â °Íµé¸¸ ¸ðÀº zÀÇ ºÎºÐÁýÇÕ
y={x¡ôz|¥õ(x)} °¡ Á¸ÀçÇÑ´Ù. (Á» ´õ Á¤È®È÷´Â Á¶°Ç ¥õ(x, a,b,c)µîÀÌ ÁÖ¾îÁú ¶§.) À̰͵éÀº ¥õ(x)¿¡ µû¶ó Çϳª¾¿ ÁÖ¾îÁö¹Ç·Î, (5)´Â ¹«ÇÑÈ÷ ¸¹Àº °ø¸®µéÀÌ´Ù.
ºÎºÐÁýÇÕÀÇ °ø¸®µéÀº ü¸£¸á·Î°¡ ·¯¼¿ÀÇ ¿ª¸®¸¦ ÇÇÇϱâ À§ÇØ Ã¤ÅÃÇÑ °ø¸®ÀÌ´Ù. ¿©±â¼ ¸¦ ¹®Á¦°¡ µÈ ¶ó Çϸé ZFü°è¿¡¼´Â ¶ó´Â ÁýÇÕÀº Á¸ÀçÇÏÁö ¾ÊÀ¸¸ç ±â²¯ÇØ¾ß ¶ó´Â ÁýÇÕÀÇ Á¸Àç°¡ º¸ÀåµÈ °¡¿îµ¥ ¶ó´Â ÁýÇÕÀÌ ÀÌ °ø¸®¿¡ ÀÇÇØ Á¸ÀçÇÏ°Ô µÈ´Ù. ÀÌ ¶§ ¶ó°í °¡Á¤Çϸé À» ¸¸Á·ÇØ¾ß ÇϹǷΠ¸ð¼øÀÌ´Ù. µû¶ó¼ À̶ó´Â °¡Á¤Àº À߸øµÇ¾úÀ¸¹Ç·Î ¶ó´Â °á·ÐÀ» ¾ò´Â´Ù. ÇÏÁö¸¸ ·¯¼¿ÀÇ ¿ª¸®¿¡¼Ã³·³ ÀÎ °ÍÀº À» ¶æÇÏÁö ¾Ê°í, ´ÜÁö ÀÓÀ» ³ªÅ¸³½´Ù. ¶ÇÇÑ ¶ó ÇÏ¸é °øÁýÇÕ Àº ¾Æ¹«°Íµµ ¿ø¼Ò·Î °¡ÁöÁö ¾ÊÀº ÁýÇÕÀÌ µÈ´Ù. °¡ (³í¸®Àû) °ø¸®À̹ǷΠÃÖ¼ÒÇÑ ÇÑ ÁýÇÕ °¡ Á¸ÀçÇÏ´Â °ÍÀÌ º¸ÀåµÇ°í À̶ó ÇÒ ¼ö ÀÖÀ¸¹Ç·Î ºÎºÐÁýÇÕ °ø¸®¿¡ ÀÇÇØ °øÁýÇÕÀÇ Á¸Àç°¡ º¸ÀåµÈ´Ù.
(6) ±âÃÊ °ø¸®(Foundation Axiom)
.
¿©±â¼ ´Â , ÀÇ ±³ÁýÇÕÀ» ¶æÇÑ´Ù. x¡ûy={z| z¡ôx and z¡ôx}.
ÀÌ ±âÃÊ °ø¸®¿¡ ÀÇÇØ À̸é ÀÓÀ» º¸ÀÏ ¼ö ÀÖ´Ù.
(7) ¹«ÇÑÁýÇÕÀÇ °ø¸®(Infinity Axiom) ÀÌ ¹«ÇÑÁýÇÕÀÇ °ø¸®¸¦ ¸¸Á·ÇÏ´Â ÁýÇÕ x´Â ¹«ÇÑÈ÷ ¸¹Àº ¿ø¼Ò¸¦ °®´Â´Ù. ¾ÕÀÇ ±âÃÊ°ø¸®¿¡ ÀÇÇØ ±× ¿ø¼ÒµéÀÌ ¼·Î ´Ù¸£´Ù´Â °ÍÀÌ º¸ÀåµÈ´Ù.
.
(8) ġȯ °ø¸®µé(Replacement Axioms) ÇÁ·©ÄÌÀÌ Á¦¾ÈÇß´Ù. ÁýÇÕ zÀÇ ÀÓÀÇÀÇ ¿ø¼Ò x¿¡ ´ëÇØ ¥õ(x,y,a,b,..)¸¦ ¸¸Á·ÇÏ´Â y°¡ ÀÖÀ¸¸é, ±×·± yµéÀ» ¸ðÀº ÁýÇÕ w°¡ Á¸ÀçÇÑ´Ù.
°¡ Á¤½ÄÀÏ ¶§,
.
(9) ¼±Åðø¸®(Choice Axiom) ÁýÇÕ xÀÇ ¿ø¼ÒµéÀÌ °øÁýÇÕÀÌ ¾Æ´Ï¸é, ±× ¿ø¼Òµé¿¡¼ °¢°¢ ÇϳªÀÇ ¿ø¼Ò¸¸À» ÅÃÇÏ¿© ¸ðÀº ÁýÇÕÀÌ Á¸ÀçÇÑ´Ù.
.
(¿©±â¼ À̶õ ÁýÇÕ ÀÇ ¿ø¼Ò°¡ Çϳª¹Û¿¡ ¾øÀ½À» ÀǹÌÇÑ´Ù.) ÀÌ°ÍÀº ¸íÁ¦ ¢¤s(s¡ôy¡ûw)¡ü¢£u¢£v((u¡ôy¡ûw ¡ü v¡ôy¡ûw)¡æu=v)·Î ³ªÅ¸³¾ ¼ö ÀÖ´Ù.
ÀÌÁ¦ ¿ì¸®´Â `Áõ¸í¡®¿¡ ´ëÇØ ¸»ÇÒ ´Ü°èÀÌ´Ù.
Á¤ÀÇ 1) ÁýÇÕ·ÐÀÇ ¸íÁ¦ °¡ ZFC¿¡¼ `Áõ¸í¡®µÈ´Ù´Â °ÍÀº (ZFC ·Î ¾´´Ù) À¯ÇÑ°³ÀÇ Á¤½Ä , , ..., ÀÌ ÀÖ¾î, ¿ì¼±Àº ÀÌ°í, °¢ ¿¡ ´ëÇØ
(1) ´Â ³í¸®Àû °ø¸®À̰ųª
(2) ¶Ç´Â À§ÀÇ ZFC °ø¸®Áß Çϳª À̰ųª
(3) ȤÀº °¡ ¾Õ ¼± µÎ Á¤½Ä¿¡¼ Àü°Ç±àÁ¤¹ý(Modus Ponens) Àü°Ç±àÁ¤¹ýÀº µÎ Á¤½Ä ¥õ, ¥õ¡æ¥÷¿¡¼ ¥÷¸¦ À¯µµÇÏ´Â °ÍÀ» ¶æÇÑ´Ù
À» »ç¿ëÇÏ¿© ¾ò¾îÁö°Å³ª(Áï °¡ ÀÖ¾î, °¡ À̰ųª)ÇÒ °æ¿ì¸¦ ¶æÇÑ´Ù.
¸¦ ¸íÁ¦µéÀÇ ÁýÇÕÀ̶ó ÇÒ °æ¿ì, °¡ ¿¡¼ Áõ¸íµÈ´Ù´Â °Íµµ À§ Á¤ÀÇ¿¡¼ ZFC¸¦ ·Î ´ëÄ¡Çϱ⸸ ÇÏ¸é µÈ´Ù. ÀÌÁ¦ ÀÌ·¸°Ô Çؼ ÁýÇÕ·Ðü°è¿¡¼ ÇÑ ¸íÁ¦°¡ ´Ù¸¥ ¸íÁ¦µéÀÇ ÁýÇÕÀ¸·ÎºÎÅÍ Áõ¸íµÈ´Ù´Â °ÍÀÇ Çü½ÄÀû Á¤ÀǸ¦ ³¡³Â´Ù. ÁýÇÕ·ÐÀÌ ¾Æ´Ñ »ê¼úü°èµµ »óȲÀº °°´Ù. ´ÜÁö ¸íÁ¦¸¦ Á¤ÀÇÇϱâ À§ÇØ »ç¿ëµÇ´Â ±âÈ£¿¡, ´ë½Å ¿¬»êÀÇ ±âÈ£(,)°¡ µé¾î°¡°í, ZFC °ø¸®°¡ Æä¾Æ³ë °ø¸®·Î ´ëÄ¡µÉ »ÓÀÌ´Ù.
`¸íÁ¦µéÀÇ ÁýÇÕ ¿¡¼ ¸íÁ¦ °¡ Áõ¸íµÈ´Ù¡®´Â ¹®ÀåÀº `¿¡¼ °¡ À¯µµµÈ´Ù¡¯´Â ¶æÀ̾î¾ß ÇÏ°í, ³í¸®ÀûÀ¸·Î º¸¸é `ÀÇ ¸ðµç ¸íÁ¦µéÀÌ ÂüÀ̸é, µµ ÂüÀÌ´Ù¡®¶ó´Â ¹®Àå°ú µ¿Ä¡À̾î¾ß ÇÑ´Ù. ±×·¸´Ù¸é ¿©±â¼ ¸íÁ¦ÀÇ Áø¸®¿Í °ÅÁþ¿¡ ´ëÇÑ °³³äÀÇ ¸íÈ®¼ºÀÌ ¿ä±¸µÈ´Ù. ¼ö¸®³í¸®¿¡¼± ÁýÇÕ·ÐÀÇ ÇÑ ¸íÁ¦°¡ `Áø¸®·Î Çؼ®ÀÌ µÇ´Â °³³ä¡¯À» ¸ðµ¨À» »ç¿ëÇÏ¿© Á¤ÀÇÇÑ´Ù. Áï `ÀÇ ¸ðµç ¸íÁ¦µéÀÌ ÂüÀ¸·Î Çؼ®µÇ¸é, µµ ÂüÀ¸·Î Çؼ®µÈ´Ù¡®´Â ¹®ÀåÀÌ ÀǹÌÇÏ´Â ¹Ù¸¦ ¸ðµ¨°³³äÀ» »ç¿ëÇÏ¿© ¸íÈ®È÷ ÇÒ ¼ö ÀÖ°í, ÀÌ ¹®ÀåÀº ´Ù½Ã ¾Õ¿¡¼Ã³·³ ` ¡¯¿Í µ¿Ä¡¿©¾ß ÇÏ´Â °ÍÀÌ´Ù. ´ÙÀ½¿¡¼ ÀÌ °ü°è¸¦ ±¸Ã¼ÀûÀ¸·Î »ìÆ캻´Ù.
2. ¸ðµ¨°ú Áø¸®°³³ä ¸ðµ¨¿¡¼ÀÇ ¸íÁ¦ÀÇ Áø¸®°³³äÀº Ÿ¸£½ºÅ°¿¡ ¿Í¼ ¸¸Á·½º·´°Ô Á¤¸³µÇ¾ú´Ù. ´ÙÀ½À» ÂüÁ¶Ç϶ó.
H. Dales and G. Oliveri, ``Truth and the foundations of mathematics. An introduction,'' in Truth in Mathematics, Oxford University Press, 1998; W. Hodges, Model Theory, Cambridge University Press, 1997.
ÁýÇշп¡¼ ¸ðµ¨Àº ½Ö ¸¦ ¶æÇϴµ¥, ¿©±â¼ Àº °øÁýÇÕÀÌ ¾Æ´Ñ ÁýÇÕÀÌ°í, ´Â ¿¡¼ÀÇ °ü°è, Áï ÀÇ ºÎºÐÁýÇÕÀÌ´Ù.
Á¤ÀÇ 2) MÀº ¸ðµ¨ÀÌ°í, ÀÌ Á¤½Ä, ÀÌ ÀÇ ¿ø¼ÒµéÀÏ ¶§, °¡ ¸ðµ¨ M¿¡¼ À¸·Î ¸¸Á·µÈ´Ù´Â ¸»À» (MÀ¸·Î ¾´´Ù) ´ÙÀ½°ú °°ÀÌ È¸±âÀûÀ¸·Î Á¤ÀÇÇÑ´Ù.
(1) °¡ ÀÎ °æ¿ì; ÀÏ ¶§, M ¶ó Á¤ÀÇÇÑ´Ù.
(2) °¡ ÀÎ °æ¿ì; MÀÌ ¾Æ´Ò ¶§, M ¶ó Á¤ÀÇÇÑ´Ù.
(3) °¡ ÀÎ °æ¿ì; MÀÌ°í MÀÏ ¶§, M ¶ó Á¤ÀÇÇÑ´Ù. ³ª¸ÓÁö ¿¬°áÀÚµé ¡æ, ¡ý, ¡ê¿¡ ´ëÇؼµµ °°Àº ¹æ½ÄÀ¸·Î Á¤ÀÇÇÑ´Ù.
(4) °¡ ÀÎ °æ¿ì; M ÀÎ °¡ ¿¡ ÀÖÀ» ¶§,
M¶ó Á¤ÀÇÇÑ´Ù.
ÀÓÀÇÀÇ Á¤½Ä °¡, ÀÓÀÇÀÇ ¸ðµ¨ M¿¡¼ Áø¸®ÀÌ´Ù(¶Ç´Â ÂüÀÌ´Ù)¶ó´Â ¸»Àº ¾î¶°ÇÑ ÀÇ ¿ø¼Ò ¿¡ ´ëÇؼµµ MÀÎ °æ¿ì¸¦ ÀǹÌÇÑ´Ù. ƯÈ÷ °¡ ¸íÁ¦ÀÏ °æ¿ì ÀÚÀ¯º¯Ç×ÀÌ ¾øÀ¸¹Ç·Î M¿¡¼ Áø¸®À̰ųª °ÅÁþ µÑ Áß ÇϳªÀÌ´Ù. Á¤ÀÇ 2)¸¦ »ìÆ캸¸é ¾Ë°ÚÁö¸¸, ÀÌ Áø¸®°³³äÀº ±âÈ£ÈµÈ ¸íÁ¦¿¡ ¿ì¸®°¡ ÀǵµÇÑ Àǹ̸¦ ¸ðµ¨ ¾È¿¡¼ Çؼ®ÇÏ´Â °Í¿¡¼ ³ª¿Â´Ù. ¸ðµ¨ÀÌ Çؼ®µÈ ¸íÁ¦ÀÇ ¼ºÁúÀ» °¡Áö¸é, ±× ¸íÁ¦´Â ±× ¸ðµ¨¿¡¼ ÂüÀÌ°í, ±×·¸Áö ¾ÊÀ¸¸é °ÅÁþÀÌ µÇ´Â °ÍÀÌ´Ù.
ÀÌÁ¦ ¿ì¸®´Â `¸íÁ¦µéÀÇ ÁýÇÕ ¿¡¼ ¸íÁ¦ °¡ ³í¸®ÀûÀ¸·Î À¯µµµÈ´Ù¡®´Â Á¤ÀǸ¦ ÇÒ ¼ö ÀÖ´Ù. ÀÌ ¸»Àº ÀÇ ¸ðµç ¸íÁ¦°¡ ¾î¶² ¸ðµ¨ M¿¡¼ ÀüºÎ ÂüÀ̸é, µµ ±× ¸ðµ¨ M¿¡¼ ÂüÀÎ °æ¿ì¸¦ ¶æÇÑ´Ù. ( ·Î Ç¥±âÇÑ´Ù.) ÀÌ °ÍÀº III.1 ¸»¹Ì¿¡¼ »ìÆì º»´ë·Î ¿ì¸®°¡ ¿øÇÏ´ø Á¤ÀÇÀÌ´Ù. ±×·¸´Ù¸é ÀÌ ³í¸®Àû À¯µµÀÇ °³³äÀÌ IIIÀå¿¡¼ Á¤ÀÇÇÑ Áõ¸í°³³ä°ú ÀÏÄ¡Çϴ°¡? ±«µ¨Àº 1930³â ±×ÀÇ ÇÐÀ§³í¹®¿¡¼ µÎ °³³äÀÌ ÀÏÄ¡ÇÔÀ» º¸¿´´Ù K. Gödel, Collected Works.
(ÀÌ°ÍÀº I.3¿¡¼ ¸»ÇÑ ÃʼöÇÐÀû °á°úÀÇ ¿¹ÀÌ´Ù.) Áï, ¸íÁ¦ °¡ ¸íÁ¦µéÀÇ ÁýÇÕ ¿¡¼ Áõ¸íµÇ¸é (), ´Â ¿¡¼ ³í¸®ÀûÀ¸·Î À¯µµµÇ°í (), ¿ªÀ¸·Î °¡ ¿¡¼ À¯µµµÇ¸é, ´Â ¿¡¼ Áõ¸íµÈ´Ù. ÀÌ´Â ¿ì¸®°¡ Á¤ÀÇÇÑ Áõ¸í°úÁ¤À» ÅëÇØ ¾ò´Â ¸íÁ¦µéÀº, ¿ì¸®°¡ ¾ò°íÀÚ ÀǵµÇß´ø °Í°ú Á¤È®È÷ ÀÏÄ¡ÇÑ´Ù´Â Àǹ̴Ù. ÀÌ °á°ú¸¦ ±«µ¨ÀÇ ¿ÏÀü¼º Á¤¸®¶ó ºÎ¸¥´Ù. ÀÌ ¿ÏÀü¼º Á¤¸®¿¡ µû¸£¸é °¡ ¹«¸ð¼ø ÇÑ °ÍÀº(Áï, ¿¡¼ ¾î¶² ¸íÁ¦¿Í ±× ¸íÁ¦ÀÇ ºÎÁ¤ÀÌ µ¿½Ã¿¡ Áõ¸íµÇÁö ¾Ê´Â °ÍÀº), °¡ ¸ðµ¨À» °®´Â´Ù(Áï, ¾î¶² ¸ðµ¨ÀÌ ÀÖ¾î ÀÇ ¸ðµç ¸íÁ¦°¡ ±× ¸ðµ¨¿¡¼ ÂüÀÎ °æ¿ì)´Â ¸»°ú ÀÏÄ¡ÇÑ´Ù. µû¶ó¼ ZFC°ø¸®µéÀÌ ¹«¸ð¼øÇÔÀ» º¸ÀÌ´Â °ÍÀº ZFCÀÇ ¸ðµ¨À» ã´Â °Í¿¡ ´Ù¸§ ¾Æ´Ï´Ù. ÇÏÁö¸¸ I.4¿¡¼ ¾ð±ÞÇÑ ±«µ¨ÀÇ µÎ ¹ø° ºÒ¿ÏÀü¼º Á¤¸®·Î ÀÎÇØ, ZFCÀÇ ¸ðµ¨À» ã´Â °ÍÀº °¡´ÉÇÏÁö ¾Ê´Ù.
3. ZFC °ø¸®ÀÇ Á¤´ç¼º
±×·¸´Ù¸é ¾î¶°ÇÑ ±Ù°Å·Î ZFC°ø¸®ÀÇ Á¤´ç¼ºÀ» ÀÔÁõÇÒ ¼ö Àִ°¡? ÀÌ°Í¿¡ ´ëÇÑ ÇØ´äÀº ZFC°¡ ¿ì¸®ÀÇ Á÷°ü°ú ÀÏÄ¡ÇÑ´Ù´Â °Í¿¡¼ ãÀ» ¼ö ÀÖ´Ù. ZFCÀÇ °¢ °ø¸®´Â Àý´ë ´Ù¼öÀÇ ¼öÇÐÀڵ鿡°Ô À־ ÀÚ¸íÇÑ °ÍÀÌ°í, ¶Ç Çϳªµµ ºü¶ß¸± ¼ö ¾ø´Â À¯¿ëÇÑ °ÍÀ̱⵵ ÇÏ´Ù. Áõ¸íÇÒ ¼ö ¾ø´ÙÇÏ´õ¶óµµ, °¢ °ø¸®ÀÇ ±Ù¿øÀû ¼ºÁú·Î ºÁ¼ ZFC´Â ¹«¸ð¼øÇϸç, ZFC»ó¿¡¼ °Ç¼³µÇ´Â ¼öÇÐÀÌ Á¤´çÇÑ ¼öÇÐÀ̶ó´Â °ÍÀÌ ¼öÇÐÀÚµéÀÇ °øÅëµÈ °ßÇØÀÌ´Ù.
¹®Á¦´Â ZFC°¡ ¹«¸ð¼ø ÇÏ´õ¶óµµ, ±«µ¨ÀÇ Ã¹Â° ºÒ¿ÏÀü¼º Á¤¸®¿¡ ÀÇÇØ °áÁ¤ÇÒ ¼ö ¾ø´Â ¸íÁ¦°¡ Á¸ÀçÇÏ°Ô µÈ´Ù. Áï ZFC¿¡¼ ÀÚ½ÅÀ̳ª, ±× ºÎÁ¤ ¸ðµÎÀÇ Áõ¸íµµ µÇÁö ¾Ê´Â ¸íÁ¦°¡ ÀÖ´Ù´Â °ÍÀÌ´Ù. ½ÇÁ¦·Î, ±«µ¨°ú ÄÚÇî(Cohen)Àº ¿¬¼Óü °¡¼³ ¿¬¼Óü °¡¼³À̶õ, ÀÚ¿¬¼ö ÁýÇÕÀÇ ±â¼ö ¿Í, ½Ç¼ö ÁýÇÕÀÇ ±â¼ö »çÀÌÀÇ ±â¼ö°¡ ¾ø´Ù´Â °ÍÀÌ´Ù. Áï ÀÚ¿¬¼ö ÁýÇÕº¸´Ù Å©±â°¡ Å©°í, ½Ç¼öÁýÇÕº¸´Ù´Â ÀÛÀº ¹«ÇÑÁýÇÕÀÌ ¾ø´Ù´Â °¡¼³ÀÌ´Ù.
ÀÌ ZFC¿¡¼ Áõ¸íµµ ºÎÁ¤µµ µÇÁö ¾Ê´Â´Ù´Â (ÃʼöÇÐÀû) °á°ú¸¦ ¾ò¾ú´Ù. ÀÌ ¿¬¼Óü °¡¼³Àº ÀÚ¸íÇÑ ZFCÀÇ °ø¸®µé°ú ´Þ¸®, ÀÚ½ÅÀ̳ª, ±×°ÍÀÇ ºÎÁ¤ Áß ¾î´À °ÍÀÌ ¿Ã¹Ù¸¥ °ÍÀÎÁö Á÷°üÀÌ ´äÇØÁÖÁö ¾Ê´Â´Ù. ±×·¸´Ù¸é ZFC¸¦ Á¤±Ô¼öÇÐÀÇ °ø¸®·Î ÀÎÁ¤ÇÏ´Â ¼öÇÐÀÚµéÀÌÁö¸¸, ¿¬¼Óü °¡¼³ÀÇ ¹®Á¦¿¡¼± ÀÇ°ßÀÌ ³ª´µ¾î ¿¬¼Óü °¡¼³À» ÀÎÁ¤ÇÏ´Â ¼öÇаú ºÎÁ¤ÇÏ´Â ¼öÇÐÀ¸·Î ¹ßÀüÇÒ ¼öµµ ÀÖ´Ù´Â ¸»ÀÌ µÈ´Ù. »ç½Ç ÀÌ·± ºñ°áÁ¤Àû ¸íÁ¦´Â ÁýÇÕ·Ð»Ó ¾Æ´Ñ, ´ë¼öÇÐ, ±âÇÏÇÐ, À§»ó¼öÇÐ µî¿¡µµ µîÀåÇÏ°í, ¾ÆÁ÷ Ç®¸®Áö ¾ÊÀº ¼öÇÐÀÇ ¹®Á¦µéÀÌ È¤ ºñ °áÁ¤¹®Á¦´Â ¾Æ´Ò±î ÀǽÉÇØ º¸´Â °ÍÀº ÀÚ¿¬½º·´±â±îÁö ÇÏ´Ù. Çö´ë ¼öÇÐÀÚµéÀº Áö³ ¼¼±â ÃÊÀÇ ¼öÇÐÀڵ鰣ÀÇ ½É°¢ÇÑ Àǰߴ븳À» °æÇèÇÑ ÀÌÈÄ¿©¼ÀÎÁö, ¸íÁ¦°¡ ºñ °áÁ¤ÀÎ °æ¿ì ±× °ÍÀ¸·Î ¸¸Á·ÇÏ°í, ´õ ÀÌ»ó ¾î¶² ÇÑ ÂÊÀ» ÃëÇÒ °ÍÀ» ÁÖÀåÇÏ´Â °æ¿ì°¡ ¸Å¿ì µå¹°´Ù. (¹°·Ð ¾î¶°ÇÑ ÂÊÀ» ÅÃÇÏ´À³Ä¿¡ µû¶ó ¾î¶² ¼öÇÐÀÌ ¹ßÀüÇÒ °ÍÀΰ¡ ÇÏ´Â ¿¬±¸µµ ÁøÇàÇÏÁö¸¸ ¸»ÀÌ´Ù.) ´ÙÀ½ Àå¿¡¼±, ±×·¯³ª ÃÖ±Ù ÁýÇÕ·ÐÀÚµé, ƯÈ÷ ¹öŬ¸® ´ëÇÐÀÇ ¿ìµò(Woodin)µî H. Woodin, ``The Continum Hypothesis, Part I'', Notices of the American Mathematical Society, Vol. 48, 2001, 567-576 ÂÊ; ``Continum Hypothesis, Part II'', Notices of the American Mathematical Society, Vol. 48, 2001, 681-690 ÂÊ. ¿ìµòÀº Ķ¸®Æ÷´Ï¾Æ Áö¿ª ÁýÇÕ·ÐÀÚµé(J. Steel, D. Martin µî)À» ´ëº¯ÇÑ´Ù.
Ķ¸®Æ÷´Ï¾Æ ÇÐÆÄ¿¡ ÀÇÇØ ³í¼³µÇ°íÀÖ´Â ZFC¸¦ ³Ñ¾î¼± `¿Ã¹Ù¸¥¡® ¼öÇп¡ ´ëÇÑ ÁÖÀå¿¡ ´ëÇØ ´Ù·ê °ÍÀÌ´Ù.
IV. »ç¿µ°áÁ¤ °ø¸®
¼öÇÐÀÚµéÀÌ ÇöóÅæ ÁÖÀǸ¦ ¿ËÈ£ÇÏ´À³Ä¿¡ ´ëÇÑ ´ë´ä°ú´Â º°µµ·Î, ZFC´Â ¹«¸ð¼øÇÏ¸ç µû¶ó¼ ±×°ÍÀÇ ¸ðµ¨ÀÌ ÀÖÀ» °ÍÀÌ°í(¼±ÇèÀûÀ¸·Î Á¸ÀçÇÏ°Ç ¾Æ´Ï°Ç °£¿¡), ¿ì¸®°¡ ¿ÏÀüÈ÷ ¾Ë ¼ö´Â ¾øÀ¸³ª ±× Áß¿¡¼µµ Ç¥ÁØÀûÀÎ (½ÉÁö¾î À¯ÀÏÇÑ) ¸ðµ¨ÀÌ ÀÖÀ» °ÍÀ̶ó´Â »ý°¢ÀÌ ÇÊÀÚ¸¦ Æ÷ÇÔÇØ Ä¶¸®Æ÷´Ï¾ÆÇÐÆÄÀÇ »ý°¢À̶ó Çصµ Ʋ¸®Áö ¾Ê°Ú´Ù. ÇÑ ÁýÇÕ·ÐÀÇ ¸íÁ¦ °¡ ¸ðµ¨ M¿¡¼ `Áø¸®¡®ÀÌ´Ù¶ó´Â Á¤ÀǸ¦ ¾ÕÀå¿¡¼ Çß´Ù. ÀÌ°ÍÀº ¾î¶² ¸é¿¡¼ ¸ðµ¨¿¡ µû¸¥ ¸íÁ¦ ÀÇ `»ó´ëÀû Áø¸®¡¯¸¦ ÀǹÌÇÑ´Ù°í º¼ ¼ö ÀÖ´Ù. Ç¥ÁØÀû ¸ðµ¨À̶õ, ±× ¸ðµ¨¿¡¼ Áø¸®ÀÎ ¸íÁ¦µéÀÇ `ÁýÇշп¡¼ÀÇ Àý´ëÀû Áø¸®¼º¡®À» ¿°µÎ¿¡ µÐ ¸ðµ¨À» ÀǹÌÇÏ´Â °ÍÀ¸·Î º¼ ¼ö ÀÖ°Ú´Ù. ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®ÀÇ ´Ù¸¥ Àǹ̴ ÀÌ¿Í °°ÀÌ `Àý´ëÀû¡®À¸·Î Áø¸®ÀÏ ¼ö¹Û¿¡ ¾ø´Â ¸íÁ¦µé(¿¹¸¦ µé¾î `ZFC°¡ ¹«¸ð¼ø ÇÏ´Ù¡¯´Â ¹®ÀåÀÇ Çü½ÄÈµÈ ¸íÁ¦)ÀÌ ZFC»ó¿¡¼ ¸ðµÎ ´Ù Áõ¸íµÇÁö ¾Ê´Â´Ù´Â °ÍÀÌ´Ù. ´ëºÎºÐÀÇ ¼öÇÐÀÚµéÀÌ »ý·¡ÀûÀ¸·Î ÀÌ·¯ÇÑ Ã¶ÇÐÀû ÀÔÀåµéÀ» ¸í¹éÈ÷ ÇÏ±æ ²¨¸®´Â °ÍÀÌ »ç½ÇÀ̱⿡, ¾î´À Á¤µµÀÇ ¼öÇÐÀÚµéÀÌ ÀÌ·± ÀÇ°ßÀ» °®´ÂÁö´Â ¸ð¸£°ÚÁö¸¸ °áÄÚ ¼Ò¼öÀÇ »ý°¢Àº ¾Æ´Ò °ÍÀÌ´Ù. ÀÌ°ÍÀÌ ÀÌ Àå¿¡¼ ´Ù·ç·Á´Â ÁÖÁ¦´Â ¾Æ´Ï´Ù. ±×·¯³ª ÀÌ·¯ÇÑ °üÁ¡À» ¿°µÎ¿¡ µÎ´Â °ÍÀº ÀÌ ÀåÀÇ ÁÖÀå, È帧À» ÀÌÇØÇϴµ¥ À¯¿ëÇÏ´Ù. Áï ÀÌ ¼Ò°íÀÇ Á¦¸ñÀ̱⵵ ÇÏ°í, ¾ÕÀ¸·Îµµ ¸»ÇÒ `¿Ã¹Ù¸¥¡® ¼öÇÐÀ̶õ, ±¸Å¿© Á¤È®ÇÑ Àǹ̸¦ µûÁø´Ù¸é, Ç¥ÁØÀû ¸ðµ¨ ¾È¿¡¼ ÀÌ·ç¾îÁö´Â ¼öÇÐÀ̶ó ÇÒ ¼ö ÀÖ°Ú°í, Ç¥ÁØÀû ¸ðµ¨À» ¹¦»çÇÏ´Â ZFC¸¦ ³Ñ¾î¼± °ø¸®¸¦ ã¾Ò´Ù°í ÁÖÀåÇϴ Ķ¸®Æ÷´Ï¾ÆÇÐÆÄ¿Í, ¹Ý´ëÀǰߵ鿡 ´ëÇØ ³íÀÇÇÏ´Â °ÍÀÌ ÀÌ ÀåÀÇ, ¶ÇÇÑ ÀÌ ¼Ò°íÀÇ ¸ñÀûÀÌ´Ù.
1. °Å´ë±â¼ö(Ðñâ¦)
ÀÌ Àå¿¡¼± ¿ì¼± °Å´ë±â¼öµé¿¡ ´ëÇØ »ìÆ캸°íÀÚ ÇÑ´Ù. II.1¿¡¼ »ìÆì º»´ë·Î ÁýÇÕµéÀÇ Å©±â¸¦ ±â¼ö·Î ³ªÅ¸³¾ ¼ö ÀÖ´Ù. Çö´ë ÁýÇշп¡¼± °Å´ë±â¼ö¶ó ºÒ¸®´Â ¸Å¿ì Å« ±â¼öµéÀ» ´Ù·é´Ù. ±× ±â¼öµéÀº ¿ì¼± ÀÚ¿¬¼ö ÁýÇÕÀÇ ¼¼öÀÎ º¸´Ù Å©°í, Á¤±Ô±â¼öÀÌ¸ç ¹«ÇÑÁýÇÕÀÇ ±â¼ö ¥ê°¡, Å©±â°¡ ¥êº¸´Ù ÀÛÀº ÁýÇÕÀ» ¥êº¸´Ù ÀÛÀº Ƚ¼ö·Î ÇÕÇÏ¿© ¥ê Å©±âÀÇ ÁýÇÕÀ» ¸¸µé ¼ö ¾øÀ¸¸é, Á¤±Ô±â¼ö(regular cardinal)¶ó ºÎ¸¥´Ù.
, Àڽź¸´Ù ÀÛÀº ¾î¶² ±â¼ö¿¡ ´ëÇؼµµ ±× °ÍÀÇ ¸èÁýÇÕÀÇ ±â¼öº¸´Ù Å«, ÀÌ ¼¼ °¡Áö Á¶°ÇÀ» ¸¸Á·ÇÏ´Â ±â¼öµéÀÌ´Ù. Á¤±Ô±â¼ö³ª °Å´ë±â¼ö(large cardinal)¿¡ ´ëÇØ ÁýÇÕ·Ð ±³°ú¼µéÀ» ÂüÁ¶Ç϶ó. K. Kunen, Set Theory, North-Holland, 1983; T. Jech, Set Theory, New-York:Academic Press, 1978.
°Å´ë±â¼ö´Â ¸Å¿ì Áß¿äÇÏ°íµµ ½ÅºñÇÑ ¼ºÁúÀ» °®´Â´Ù. °Å´ë±â¼ö¸¦ ÅëÇØ ZFCÀÇ ¸ðµ¨À» ¸¸µé ¼ö Àִµ¥, ÀÌ·Î ÀÎÇØ, °Å´ë±â¼ö°¡ Á¸´ëÇÑ´Ù´Â Áõ¸íÀ» ZFC¿¡¼ ÇÒ ¼ö ¾ø´Ù´Â °á°ú¸¦ ¾ò´Â´Ù. ±× ÀÌÀ¯¸¦ »ìÆ캸ÀÚ. ¸ÕÀú `°Å´ë±â¼ö °¡ Á¸ÀçÇÑ´Ù¡®´Â ¸íÁ¦¸¦ ¶ó ÇÏÀÚ. ±×·¸´Ù¸é ¹æ±Ý ¸» ÇÑ´ë·Î ZFC¿¡¼ ¸íÁ¦ ·ÎºÎÅÍ ZFCÀÇ ¸ðµ¨À» ±¸¼ºÇÒ ¼ö ÀÖ°í, ÀÌ °ÍÀº III.2ÀÇ ¿ÏÀü¼º Á¤¸®¿¡ ÀÇÇØ ZFC°¡ ¹«¸ð¼øÇÏ´Ù´Â ¶æÀÌ´Ù. ÀÌÁ¦ `ZFC°¡ ¹«¸ð¼øÇÏ´Ù¡¯´Â ¹®ÀåÀÇ Çü½ÄÈµÈ ¸íÁ¦¸¦ CON(ZFC)¶ó ÇÏÀÚ. ÀÌ»óÀ» ½ÄÀ¸·Î ¾²¸é
(1) ZFC + CON(ZFC).
µû¶ó¼ ZFCÀ̸é, ZFC CON(ZFC)°¡ µÇ¾î ±«µ¨ Á¤¸®¿¡ ¹ÝÇÑ´Ù. µû¶ó¼ ZFCÀÎ ÀÌ´Ù. ±×·¸´Ù¸é ´ÙÀ½ °¡´É¼ºÀº, ¿¬¼Óü °¡¼³ÀÇ °æ¿ìó·³, ZFC + °¡ ¹«¸ð¼ø ÇÑ °ÍÀ» º¸ÀÏ ¼ø ¾ø´À³Ä´Â °ÍÀÌ´Ù. Áï, ½ÄÀ¸·Î ¾²¸é
(2) ZFCCON(ZFC)CON(ZFC + )
ÀÎÁö ¿©ºÎÀÇ Áú¹®ÀÌ´Ù. ±×·¯³ª, ¸¸ÀÏ (2)°¡ ¼º¸³Çϸé, (1)¿¡ ÀÇÇØ
(3) ZFC + CON(ZFC + )
°¡ µÇ¾î ¿ª½Ã ±«µ¨ÀÇ Á¤¸®¿¡ ¸ð¼øµÈ´Ù. µû¶ó¼, (2) °¡ ¼º¸³ÇÏÁö ¾Ê°í, ÀÌ´Â ZFC + °¡ ¹«¸ð¼ø ÇÑ °ÍÀ» º¸ÀÏ ¼ö ¾ø´Ù´Â ¶æÀÌ µÈ´Ù. ÇÑÆíÀ¸·Î ZFC¿¡¼ ÀÇ ºÎÁ¤, Áï °Å´ë±â¼ö°¡ Á¸ÀçÇÏÁö ¾Ê´Â´Ù´Â Áõ¸íÀ» ÇÒ °¡´É¼ºÀº ¾ðÁ¦³ª ¿·ÁÀÖ´Ù.
³î¶ó¿î °ÍÀº ¸¹Àº Çö´ë ÁýÇÕ·ÐÀÚµéÀº °Å´ë±â¼ö°¡ Á¸ÀçÇÏÁö ¾Ê´Â °ÍÀ» Áõ¸íÇÏ´Â °Í¿¡ ¸Å´Þ¸®±â´ÂÄ¿³ç, ½Ç¹ö(J. Silver)°¡ Ãøµµ°¡´É °Å´ë±â¼ö(measurable large cardianl)ÀÇ Á¸ÀçºÎÁ¤À» ½ÃµµÇÏ´Ù ½ÇÆÐÇÑ ¿¹°¡ ÀÖ±ä ÇÏ´Ù.
ÀüÇô ¹Ý´ë·Î, Á¸ÀçÇÏ´ÂÁö ¾Ë ¼ö ¾øÀ» »Ó, ½ÇüÀûÀ¸·Î Á¸ÀçÇÒ °ÍÀ̶ó ¹ÏÀ¸¸ç °Å´ë±â¼ö¿Í ±×¿¡ µû¸¥ Àΰú°ü°è ¿¬±¸¿¡ ¸ÅÁøÇÏ°í ÀÖ´Ù. Áï, °Å´ë±â¼öÀÇ Á¸Àç°¡ Ç¥ÁØÀû ÁýÇշп¡¼ Áø¸®ÀÏ °ÍÀ̸ç, ±× °ÍÀÇ °á°ú·Î ZFC¿¡¼ ´äÇÒ ¼ö ¾ø´Â ºñ °áÁ¤ ¹®Á¦µé¿¡ ´ëÇÑ ´äÀÌ °¡´ÉÇϸ®¶ó º¸´Â °ÍÀÌ´Ù. ¹Ý¼¼±â°¡ ´Ù µÇ´Â µ¿¾È, °Å´ë±â¼ö°¡ Á¸ÀçÇÑ´Ù´Â ±×µéÀÇ ¹ÏÀ½À» °ÇÏ°Ô ÁÖÀåÇÑ ¿¹´Â ã±â Èûµé´Ù. ÇÏÁö¸¸, ÃÖ±Ù ÇϺñ ÇÁ¸®µå¸¸(Harvey Friedman)Àº ¼ö¸®³í¸®ÇÐÀÚ°¡ ¾Æ´Ñ ÀÏ¹Ý ¼öÇÐÀÚ, ½ÉÁö¾î ÀϹÝÀÎÀÌ ÀÌÇØÇÒ ¼ö ÀÖ´Â ±âÃÊÀûÀÎ, Á¤¼ö¿¡ °üÇÑ »ê¼úÀÇ ÇÑ ¸íÁ¦°¡ ZFC¿¡¼´Â Áõ¸íµÇÁö ¾ÊÀ¸¸é¼µµ, °Å´ë±â¼öÀÇ Á¸À縦 °¡Á¤ÇÑ »óÅ¿¡¼± Áõ¸íÇÒ ¼ö ÀÖÀ½À» º¸¿© °ü½ÉÀ» ²ø°í ÀÖ´Ù. ´ÙÀ½À» ÂüÁ¶Ç϶ó. M. Davis ``Book Review - `Logical Dilemmas: The Life and Work of Kurt Gödel' by J. Dawson", Notices of the American Mathematical Society, Vol. 48. 807-813 ÂÊ.
¾îÂî º¸¸é ¼öÇÐÀÚ°¡ ÇÒ ¼ö ÀÖ´Â ÃÖ¼±ÀÇ ¹æ¹ýÀ» µ¿¿øÇÏ¿© °Å´ë±â¼öÀÇ Á¤´ç¼ºÀ» ¿ÜÄ¡°í ÀÖ´ÂÁöµµ ¸ð¸£°Ú´Ù.
2. »ç¿µ(ÞÒç¯)°áÁ¤ °ø¸®
ÀÌÁ¦ »ç¿µ°áÁ¤ °ø¸®¸¦ ³íÇϱ⠾ռ ÇÊ¿äÇÑ Á¤ÀǵéÀ» ³ª¿ÇÏÀÚ.
Á¤ÀÇ 3) ½Ç¼öÁýÇÕÀÇ n-Â÷¿ø °ø°£ ÀÇ °³ÁýÇÕ °³ÁýÇÕ(open set), ÆóÁýÇÕ(closed set)Àº À§»ó¼öÇÐ(Topology)ÀÇ ±âº» °³³äÀÌ´Ù. Á¡ x°¡ ÀÇ ¿ø¼ÒÀÏ ¶§ x¸¦ Áß½ÉÀ¸·Î ÇÏ°í ¹Ý°æÀÌ ¥åÀÎ, n-Â÷¿ø °øÀ» D(x,¥å)={y¡ô | d(x,y) <¥å}(¿©±â¼ d(x,y) ´Â x¿Í y »çÀÌÀÇ °Å¸®ÀÌ´Ù)¶ó ÇÏÀÚ. A°¡ ÀÇ ºÎºÐÁýÇÕ ÀÏ ¶§, ¸ðµç AÀÇ ¿ø¼Ò z¿¡ ´ëÇØ Àû´çÇÑ ¥åÀÌ ÀÖ¾î, D(z,¥å)ÀÌ ÀüºÎ A¿¡ Æ÷ÇԵǸé A¸¦ °³ÁýÇÕÀ̶ó ÇÑ´Ù. B°¡ °³ÁýÇÕÀÇ ¿©ÁýÇÕÀÏ ¶§ B¸¦ ÆóÁýÇÕÀ̶ó ºÎ¸¥´Ù.
¿¡¼ À¯ÇÑȽ¼ö·Î, »ç¿µÇϰųª ¿©(æ®)ÁýÇÕÀ» ´Â ÀÇ ºÎºÐÁýÇÕÀÎ A¸¦ »ç¿µÇÏ¿© ¾ò´Â ÁýÇÕÀÌ´Ù. µû¶ó¼, ¿¹¸¦ µé¾î
´Â A'ÀÇ ¿©ÁýÇÕÀ̹ǷΠA°¡ °³ÁýÇÕÀ̾ú´Ù¸é, A'Àº »ç¿µÁýÇÕÀÌ´Ù.
ÃëÇÏ¿© ¾ò¾îÁø ÁýÇÕÀ» `»ç¿µÁýÇÕ¡®À̶ó ºÎ¸¥´Ù.
Á¤ÀÇ 4) ÁýÇÕ ¸¦ ÀÇ ºÎºÐÁýÇÕÀ̶ó ÇÏÀÚ. µÎ »ç¶÷ I, II°¡ (¹«ÇÑ)½ÃÇàÇÏ´Â °ÔÀÓ ¸¦ ´ÙÀ½°ú °°ÀÌ Á¤ÀÇÇÑ´Ù. IÀÌ ½ÃÀÛÇؼ À» À̳ª ¿¡¼ Á¤ÇÑ´Ù. II°¡ ´ÙÀ½À¸·Î ¸¦ ¿ª½Ã À̳ª ¿¡¼ Á¤ÇÑ´Ù. °è¼ÓÇؼ IÀº Ȧ¼öȸ¿¡¼ À» À̳ª ¿¡¼ Á¤ÇÏ°í, II´Â ¦¼öȸ¿¡¼ À» À̳ª ¿¡¼ Á¤ÇÑ´Ù. ¸¸ÀÏ °ú »çÀÌÀÇ ¼ö °¡ ¿¡ ¼ÓÇϸé IÀÌ À̱â°í, ±×·¸Áö ¾ÊÀ¸¸é II°¡ À̱ä´Ù.
¸¸ÀÏ °¡ À̶ó ÇÒ °æ¿ì, IÀÌ ¸ðµç °æ¿ì À» ÅÃÇصµ, II°¡ ÇѹøÀÌ¶óµµ À» ¼±ÅÃÇÑ´Ù¸é II°¡ À̱â°Ô µÈ´Ù. ÀÌ·± ½ÄÀ¸·Î I À̳ª II¿¡°Ô ÀÖ¾î¼ `½Â¸® Àü·«¡®À̶ó´Â ¿ë¾î¸¦ Á¤ÀÇÇÒ ¼ö ÀÖ´Ù. °æ±âÀÚ I ¶Ç´Â IIÀÇ ½Â¸®Àü·«À» ¼¼¿ï ¼ö ÀÖ´Ù¸é °ÔÀÓ °¡ °áÁ¤°¡´ÉÇÏ´Ù°í ¸»ÇÑ´Ù.
»ç¿µ°áÁ¤ °ø¸®) ÁýÇÕ °¡ ÀÇ ÀÓÀÇÀÇ »ç¿µ ºÎºÐÁýÇÕÀÏ ¶§, °ÔÀÓ ´Â Ç×»ó °áÁ¤°¡´ÉÇÏ´Ù.
ÀÏ°ß °Å´ë±â¼ö¿Í °ü·ÃÀÌ ¾ø¾î º¸ÀÌ´Â ÀÌ »ç¿µ°áÁ¤ °ø¸®´Â ½ÇÀº °Å´ë±â¼ö¿Í ¸Å¿ì ±íÀº °ü·ÃÀ» °®°í ÀÖ´Ù. ¿ìµò ±³¼öÀÇ À̸§À» µý, ¿ìµò °Å´ë±â¼ö°¡ ¹«ÇÑÈ÷ ¸¹ÀÌ Á¸ÀçÇÏ¸é »ç¿µ°áÁ¤°ø¸®°¡ ¼º¸³ÇÑ´Ù´Â ¸Å¿ì Áß¿äÇÑ Á¤¸®°¡ ÀÖ´Ù. ¶ÇÇÑ »ç¿µ°áÁ¤ °ø¸®°¡ ¼º¸³ÇÏ¸é ¸ðµç ÀÚ¿¬¼ö ¿¡ ´ëÇØ, `ZFC + ¿ìµò ±â¼ö°¡ °³ÀÖ´Ù¡¯°¡ ¹«¸ð¼ø ÇÏ´Ù. ÀÌ°ÍÀº °Å´ë±â¼ö°¡ ±×·¯ÇϵíÀÌ »ç¿µ°áÁ¤ °ø¸®µµ ZFC¸¦ ¹þ¾î³ ¸íÁ¦ÀÓÀ» º¸¿©ÁØ´Ù. Ķ¸®Æ÷´Ï¾Æ ÁýÇÕ·ÐÀÚµéÀÌ »ç¿µ°áÁ¤ °ø¸®°¡ ¿Ç´Ù°í ÇÏ´Â ÀÌÀ¯´Â, ÀÌ »ç¿µ°áÁ¤ °ø¸®¸¦ ZFC¿¡¼ °¡Á¤ÇÔÀ¸·Î ZFC¿¡¼ °áÁ¤ÇÒ ¼ö ¾ø´Â ¸¹Àº ½Ç¼öÀÇ ¼ºÁúµéÀ» `¿Ç°Ô¡® °áÁ¤ÇØ Áֱ⠶§¹®ÀÌ´Ù. ÀÌÇÏ H. Woodin, ``The Continuum Hypothesis, Part I, II" ÂüÁ¶.
¿¹¸¦ µé¾î »ç¿µ°áÁ¤ °ø¸® ÇÏ¿¡¼, ¸ðµç »ç¿µÁýÇÕÀº Ãøµµ°¡´É(measurable)ÇÏ¸ç ¸ðµç ¼¿ ¼ö ¾ø´Â ¼¿ ¼ö ÀÖ´Â ÁýÇÕÀº Å©±â°¡ º¸´Ù À۰ųª °°Àº ÁýÇÕÀÌ°í, ±× ¿ÜÀÇ ¹«ÇÑ ÁýÇÕÀº ¸ðµÎ ¼¿ ¼ö ¾ø´Â ÁýÇÕÀÌ´Ù.
¹«ÇÑ »ç¿µÁýÇÕÀº ¼¿ ¼ö ¾ø´Â ÆóÁýÇÕÀ» ºÎºÐÁýÇÕÀ¸·Î °®´Â´Ù. ÀÌ·¯ÇÑ ¹®Á¦µéÀ» ZFC¿¡¼ ÇØ°áÇÏ·Á´Ù ¼º°øÇÏÁö ¸øÇß´ø ÇÐÀÚµéÀÇ ÀÔÀå¿¡¼ º¸¸é, ÇÑ °ø¸®¸¦ ÷°¡ÇÏ´Â °ÍÀ¸·Î ¸¹Àº °ü·ÃµÈ ¹®Á¦µéÀÌ ±ú²ýÇÏ°Ô ÇØ°áµÇ´Â °ÍÀ» º¸¸é, ±× °ø¸®´Â ¿ÇÀº °ø¸®ÀÓ¿¡ Ʋ¸²ÀÌ ¾ø´Ù´Â °ÍÀÌ´Ù. ½Ç¼öÀÇ ¼ºÁúÀ» ÇØ°áÇØ ÁÖ´Â °Í ¿Ü¿¡µµ, ¿ìµòÀº °Å´ë±â¼ö¿Í °ü·ÃµÈ °ø¸®³ª, ¸¶Æ¾(D. Martin)ÀÇ À§»ó¼öÇÐÀû °ø¸®ÀÇ ¿¬°ü¼ºÀ» µé¾î »ç¿µ°áÁ¤°ø¸®ÀÇ Á¤´ç¼ºÀ» ÀÔÁõÇÏ·Á ÇÑ´Ù. ±× ¿Ü¿¡µµ Á»´õ º¹ÀâÇÑ ÁýÇÕ·ÐÀû ±¸Á¶ ÇÏ¿¡¼ ½ºÅ¸°ø¸®¿¡ ´ëÇؼµµ ¾ð±ÞÇϴµ¥, ½ºÅ¸°ø¸®µµ ¿ª½Ã ¿ÇÀº °ø¸®¶ó°í ÁÖÀåÇÏ°í ÀÖÀ¸¸ç, ±× °ø¸®´Â ´õ °·ÂÇؼ ¿¬¼Óü¹®Á¦¿¡ ´ëÇÑ ´äÀ» Á¦°øÇÏ¿©, °¡ À¯µµµÇ¹Ç·Î ¿¬¼Óü °¡¼³Àº °ÅÁþÀ̶ó´Â °ÍÀÌ´Ù. Ķ¸®Æ÷´Ï¾Æ ÇÐÆÄ ±¸¼º¿ø ¸ðµÎ°¡ ÀÏ°üµÈ »ý°¢À» ÇÏ°í ÀÖ´Ù°í º¼ ¼ø ¾øÀ¸³ª, Àû¾îµµ »ç¿µ°ø¸®°¡ ¹Ù¸¥ °ø¸®¶ó´Â °ÍÀº °øÅëÀ¸·Î ¾ð±ÞÇÏ°í ÀÖ´Ù. ±×µéÀÌ ÀÌ°°ÀÌ ÁÖÀåÇÏ´Â ¿Ã¹Ù¸§À̶õ ±âÁ¸ÀÇ ¼öÇÐÀÚµéÀÌ Áõ¸í°úÁ¤À» ÅëÇØ Áø¸®¸¦ ÀÔÁõÇÏ·ÁÇß´ø °Í°ú´Â È®¿¬È÷ ´Ù¸¥ °ÍÀÌ´Ù. ÀÌ °ø¸®µéÀº ¿ì¼± ZFC»ó¿¡¼ °áÁ¤µÇ´Â °ÍÀÌ ¾Æ´Ï±â¿¡, ÀüÅëÀÇ Áõ¸íÀ¸·Ð (±×°ÍÀº ZFC¾È¿¡¼ ÀÌ·ç¾îÁö±â¿¡) ÁøÀ§°¡ °áÁ¤µÇÁö ¾Ê´Â´Ù. ±×·¸´Ù°í ZFC °ø¸®µé°°ÀÌ Áõ¸í ¾øÀÌ °ø¸®·Î ¹Þ¾ÆµéÀÏ ¼ö ÀÖÀ» Á¤µµ·Î ÀÚ¸íÇÑ °ø¸®µéµµ ¾Æ´Ï´Ù. ÀÌ°ÍÀÇ Á¤´ç¼ºÀº °á±¹ ÀÌÁ¦²¯ ¼öÇп¡¼´Â ¼öÇàµÇÁö ¾Ê¾Ò´ø `°æÇ衯À» ÅëÇØ °¡´ÉÇÏ´Ù´Â °ÍÀÌ´Ù. Áï ÀÌ ¹®Á¦µéÀ» Á¢ÇÏ°í »ý°¢ÇÏ´Â ¼ö°í¿Í ³ë·ÂÀÇ °úÁ¤À» ÅëÇØ¾ß ÀÌ µéÀÇ Á¤´ç¼ºÀ» ÀνÄÇÏ°Ô µÈ´Ù´Â °ÍÀÌ´Ù.
V. Àü¸Á
ÇÊÀÚ¿¡°Ô Çö Ķ¸®Æ÷´Ï¾Æ ÇÐÆÄÀÇ ÁÖÀåÀº ¸Å¿ì ȹ±âÀûÀÎ °ÍÀ¸·Î º¸ÀδÙ. ÀÌ ¼Ò°í¿¡¼ ¿ä¾à ÇÑ´ë·Î Áö³ ¼¼±â ÃÊ ¼öÇÐÀÚµéÀÇ ¼öÇÐ ±âÃÊ¿¡ °üÇÑ Ã·¿¹ÇÑ °ø¹æ°ú ³í¶õ ÀÌÈÄ, ¼öÇÐ ±âÃÊ·ÐÀÇ ¹®Á¦¿¡ °üÇØ ÁÖ¿ä ÀïÁ¡ÀÌ µÉ¸¸ÇÑ ±½Á÷ÇÑ »ç°ÇÀº ÃÖ±Ù±îÁö ã±â Èûµé´Ù°í º»´Ù. Ķ¸®Æ÷´Ï¾Æ ÇÐÆÄ°¡ »õ·Î¿î ³íÀïÀÇ ½ÃÀÛÀ» ¿øÇÏ´Â °ÍÀÎÁö´Â ¾Ë ¼ö ¾ø´Ù. ±×µéÀÇ ÁÖÀå¿¡ ¼¼·ÃµÈ Ç¥Çö·ÂÀ̳ª ³íÀǸ¦ ÀïÁ¡ÈÇÏ°í ³íÁ¡À» Àü°³ÇÏ´Â Àι®ÇÐÀû ¹æ¹ý·ÐÀÌ ºÎÁ·ÇÑ °ÍÀº »ç½ÇÀ̳ª, ¼±¸ ¼öÇÐÀÇ ¿ª»ç¸¦ ÅëÇØ Àü·Ê ¾ø´ø, `°æÇèÀû ¹æ¹ý¡®À¸·Î ¼öÇÐÀÇ Áø¸®¸¦ ÀνÄÇÒ ¼ö ÀÖ´Ù´Â »õ·Î¿î ÁÖÀåÀÎ °Í¸¸Àº ºÐ¸íÇÏ´Ù. ¹°·Ð ¸ðµç ÁýÇÕ·ÐÀÚ°¡ ±×µéÀÇ ÀÇ°ß¿¡ µ¿Á¶ÇÏ´Â °ÍÀº ¾Æ´Ï´Ù. ¹Ì±¹ ¼öÇÐȸº¸ ÃÖ±ÙÈ£¿¡´Â Ķ¸®Æ÷´Ï¾Æ ÇÐÆĸ¦ ¹Ý¹ÚÇÏ´Â ½©¶ó(Shelah)ÀÇ ±ÛÀÌ ½Ç·ÁÀÖ´Ù. S. Shelah, ``Logical dreams", Bulletin of the American Mathematical Society, Vol. 40, 2003.
½©¶ó´Â ´ÙÀ½°ú °°Àº ÀÌÀ¯·Î ±×µéÀÇ ÁÖÀåÀ» °ÇÏ°Ô ºÎÁ¤ÇÑ´Ù(strongly reject). ù°, °ø¸®¸¦ ÷°¡ÇÏ¿© ¹®Á¦µéÀ» ±ú²ýÇÏ°Ô ÇØ°áÇÏ´Â °ÍÀÌ ±× °ø¸®°¡ `¿Ã¹Ù¸¥¡¯ °ø¸®¶ó¼ ±×·¸´Ù´Â ÃæºÐÇÑ ÀÌÀ¯°¡ µÉ ¼ö ¾ø´Ù. µÑ°, ±×µéÀÌ ±× °ø¸®¸¦ ¼±ÅÃÇÏ°Ô µÈ µ¿±â¿¡´Â ½Ç¼ö¿Í °ü·ÃµÈ ¹®Á¦µé¿¡ ´ëÇÑ °ü½ÉÀÌ ÀÚ¸®Àâ°í Àִµ¥, ¸¸ÀÏ ´Ù¸¥ ºÐ¾ßÀÇ ¹®Á¦µé¿¡ °ü½ÉÀ» °®´Â´Ù¸é, ¶Ç °Å±â¿¡ ÀûÇÕÇÑ, »ç¿µ°áÁ¤ °ø¸®¿Í ´Ù¸£°Å³ª ¹ÝÇÒ ¼ö ÀÖ´Â °ø¸®¸¦ »ý°¢ÇÏ°Ô µÉ °ÍÀÌ´Ù. ¼Â°, ½Ç¼ö¿¡ °üÇÑ ¹®Á¦µé·Î ±¹ÇÑÇÑ´Ù Çصµ, ÇÑ °ø¸®¸¸ ¿Ç´Ù°í ÇÒ ¶§ ¿©·¯ ÀÇ¹Ì ÀÖ´Â ±¸ºÐµéÀÌ »ç¶óÁö°Ô µÈ´Ù.
ÇÊÀÚ°¡ Ķ¸®Æ÷´Ï¾Æ ÇÐÆijª ½©¶óÀÇ ¹Ý¹Ú Áß ¾î´À ÂÊÀÌ ¿Ç´Ù°í ¸»ÇÒ À§Ä¡¿¡ ÀÖ´Ù°í »ý°¢Áø ¾Ê´Â´Ù. ±×µé Àڽŵµ, ÀÌ·± ¹®Á¦¸¦ °¡Áö°í ±íÀÌ °øºÎÇÏ°í ¿¬±¸ÇØ º» ¿¬ÈĶó¾ß Áø¸®¼ºÀ» ¾Ë ¼ö ÀÖ´Ù°í ÇÏÁö ¾Ê¾Ò´ø°¡. ´Ù¸¸ ÇÊÀÚÀÇ ¼öÇÐÀ» °øºÎÇÏ°í ¿¬±¸Çß´ø °æÇè¿¡ ºñÃ纸¸é, ¼öÇп¡¼ ¾Æ¸§´Ù¿òÀ̶õ ´ÜÁö ¹ÌÇÐÀû Çʿ並 À§ÇØ Á¸ÀçÇÏ´Â °Í ÀÌ»óÀÌ´Ù. ¼öÇÐ ºÐ¾ß°¡ ¹ßÀüÇÒ ¶§, ¿©·¯ °¡Áö °¡´É¼º ÀÖ´Â Á¤Àǵé Áß Çϳª¸¦ ÅÃÇÏ´Â °ÍÀº ±× Á¤ÀÇ°¡ ¾ó¸¶³ª °ü·ÃµÈ À̷е鿡 ¸Â¾Æ¶³¾îÁö°í, Àüü ±¸Á¶¿¡¼ÀÇ ÀûÇÕ¼ºÀ» °¡Áö°í ÀÖ´À³Ä¿¡ ´Þ·ÁÀÖ´Ù. Á¤ÀÇ¿¡ µû¸¥ °á°ú°¡ ¸¸Á·½º·´Áö ¸øÇÑ °ÍÀ̶ó¸é ¶§·Ð Á¤ÀÇ°¡ Æó±âµÇ°í ´ëÄ¡µÇ´Â °æ¿ìµµ ÀÖ´Ù. Àüü±¸Á¶¿Í ÀÌ·ÐÀÇ ¾Æ¸§´Ù¿ò¿¡ ±Ù°ÅÇÑ ¹Ù¸¥ Á¤ÀÇ´Â, Á¤ÀÇ ´ç½Ã¿¡´Â ¸ð¸£³ª ¼ö½Ê ³âÀÌ È帥 ÈÄ ¾öû³ °á°úµéÀ» ÆÄ»ý½ÃÅ°´Â °ÍÀ» ÇÊÀÚ ÀÚ½ÅÀÌ ¸ñ°ÝÇÑ ¹ÙÀÌ´Ù. ÀÌ·¯ÇÑ °üÁ¡¿¡¼ º¸¸é »ç¿µ°áÁ¤ °ø¸®¸¦ ÅëÇØ ¸¹Àº ½Ç¼ö¿¡ °üÇÑ ¹®Á¦µéÀÌ `¾Æ¸§´ä°Ô¡® ÇØ°áµÇ¹Ç·Î ±× °ø¸®°¡ ¿Ç´Ù´Â ÁÖÀåÀ» ÃæºÐÈ÷ ³³µæÇÒ ¼ö ÀÖ´Ù. ¶ÇÇÑ ¼öÇÐÀº °Å´ëÇÑ ÆÛÁñÀÇ Á¶°¢À» ¸ÂÃß´Â °Íó·³, ÇÑ ºÐ¾ßÀÇ °ü½ÉÀ» ±× ºÐ¾ßÀÇ ¹æ½ÄÀ¸·Î ¹ßÀü½ÃÅ°°í ÇØ°áÇØ ³ª°¡´Â °ÍÀÌ ´Ù¸¥ ºÐ¾ßÀÇ Å½±¸¿Í ¹ßÀü¿¡ »óÃæµÇ±â´ÂÄ¿³ç, ±Ã±ØÀûÀ¸·Ð ¼·Î ¿¬°áµÇ¾î ÀüüÀÇ ÀÌÇظ¦ ÁõÁø½ÃÅ°´Â °ÍÀÌ´Ù. °æÇèÀ» ÅëÇØ Áø½ÇÀ» ÀνÄÇÑ´Ù´Â ÁÖÀåÀº, ¼öÇп¡¼´Â »õ·Î¿ïÁö ¸ô¶óµµ ŸÇй®ÀÇ ¿µ¿ª¿¡¼´Â °ÅºÎ°¨À» ÀÏÀ¸Å°Áö ¾Ê´Â´Ù. ±×·¯³ª ÇÊÀÚ ¿ª½Ã ½©¶óÀÇ ¼¼ ¹ø° ¹Ý¹Ú¿¡¼Ã³·³, ZFC¸¦ ¹þ¾î³ ƯÁ¤ °ø¸®ÀÇ Áø¸®¼ºÀ» Áö³ªÄ¡°Ô ÁÖÀåÇÔÀ¸·Î ÀÇ¹Ì ÀÖ´Â ´Ù¸¥ ¼öÇÐÀÇ ¹ßÀüÀÌ ¸·È÷°Ô µÇ´Â °ÍÀº ¹Ù¶÷Á÷ÇÏÁö ¾Ê´Ù°í º»´Ù. ¼öÇÐÀÇ Ç¥ÁØÀû ¸ðµ¨ÀÌ À¯ÀÏÇÏ´Ù°í ¹Ï´Â ¿©ºÎ¿Í »ó°ü¾øÀÌ, ¼öÇÐ ¿¬±¸ÀÇ ¿øµ¿·ÂÀº ÁÖÀÇ, ÁÖÀå¿¡ ºÎÇÕÇÔÀÌ ¾Æ´Ï¶ó, Áø¸®¿Í ¾Æ¸§´Ù¿òÀÇ ÀÚÀ¯·Î¿î Ãß±¸¿¡ ÀÖ´Ù°í º¸±â ¶§¹®ÀÌ´Ù.
Áö³ ¼¼±âÀÇ ³íÀïÀº °Å´ëÇÑ °á½ÇÀ» °ÅµÎ¾î ¼ö¸®³í¸®ÇÐÀÇ Åµ¿°ú ¿©Å¸ Çй®¿¡ ¿µÇâÀ» ¹ÌÃÆ´Ù. »õ·Î¿ì³ª »ó´ëÀûÀ¸·Î ¸Å¿ì Á¶¿ëÈ÷ ½ÃÀ۵ǰí ÁøÇàµÇ´Â ÀÌ ³íÀïÀÌ ¾î¶»°Ô ±Í°áµÉ °ÍÀÎÁö ÁÖ¸ñµÈ´Ù. ÁýÇÕ·ÐÀÚ»Ó ¾Æ´Ñ ´Ù¸¥ ºÐ¾ßÀÇ ¼öÇÐÀÚ³ª, ¶Ç´Â öÇÐÀÚµéÀÌ ÀÌ ³íÀï¿¡ ÇÕ·ùÇÑ´Ù¸é ¾î¶»°Ô µÉ °ÍÀÎ °¡µµ Èï¹Ì·Ó´Ù. »õ ¼¼±â ¼ö¸®³í¸®ÇÐÀÇ Áö¼ÓÀû µµ¾àÀ¸·Î À̾îÁø´Ù¸é ´õÇÒ ³ªÀ§ ¾ø°Ú´Ù.
|
|