´ÙÀ½ Áß ¿¬´ëº°·Î ³ª¿ÇÒ ¶§ ¼öÇп¡ °¡Àå Å« ¿µÇâÀ» ¹ÌÄ£ »ç¶÷Àº? ¨çÅ»·¹½º ¨èÇÇŸ°í¶ó½º ¨éÇöóÅæ ¨ê¿¡¿ìŬ·¹À̵¥½º ¨ë¾Æ¸£Å°¸Þµ¥½º. Á¤´äÀº °¡Àå ³¸¼± ¿¡¿ìŬ·¹À̵¥½º´Ù. ¿µ¾î·Î´Â À¯Å¬¸®µå(Euclid). À̸§ÀÌ ³¸ÀÍ´Ù. 2300¿© ³â Àü ±×´Â 13±ÇÀ¸·Î µÈ ½ºÅäÀÌÄÉÀ̾Ƹ¦ ½è´Ù. ¿µ¾î·Î´Â ¿¤¸®¸ÕÃ÷(Elements). À¯Å¬¸®µå ±âÇÏÇÐ ¿ø·ÐÀÌ´Ù. ¼º°æ ´ÙÀ½À¸·Î ¸¹ÀÌ ÀÐÈù Ã¥À̶ó´Âµ¥, 2000¿© ³â ³Ñ°Ô ¼öÇÐ ±³°ú¼·Î ¾²¿´´Ù. ¶ÇÇÑ ´ºÅÏ, ¾ÆÀν´Å¸ÀÎ µî õÀçµéÀ» ÀÚ±ØÇß´Ù. ±âÇ϶ó´Â ³¹¸»µµ ¸í³ª¶ó ¸» Áß±¹¾î·Î ¹ø¿ªµÈ 'Ðúù¼ê«Üâ'ºÎÅÍ´Ù.
ÇÇŸ°í¶ó½º°¡ Á÷°¢»ï°¢Çü µî¿¡ ´ëÇÑ Æ¯º°ÇÑ Á¤¸®(ïÒ×â, theorem)¸¦ ¹ß°ßÇß´Ù¸é, À¯Å¬¸®µå´Â ¼öÇÐÇÏ´Â ¹æ¹ýÀ» âÁ¶Çß´Ù. ±×´Â Á¡, ¼±, ¸é, ¿ø, °¢, »ï°¢Çü, ÆòÇ༱ µî ±âÇÏÇп¡ ÇÊ¿äÇÑ ±âº» ¼ÒÀçµéÀÇ °³³äÀ» Á¤ÀÇ(ïÒëù, definition)ÇÑ ÈÄ Áõ¸íÀÌ ÇÊ¿ä¾ø´Â °ø¸®(Íë×â, axiom) ¹× °øÁØ(ÍëñÞ, postulate)À» ¼¼¿ü´Ù. °ø¸®¶õ ¸¹Àº »ç¶÷(Íë, public)ÀÌ ÀÎÁ¤ÇÏ´Â ±âº» ÀÌÄ¡À̸ç, °øÁصµ ¸¹Àº »ç¶÷ÀÌ ½ÂÀÎÇÏ´Â(ñÞ) ±âº» °¡Á¤ÀÌ´Ù. ¸î¸î »·ÇÏ¸ç ´ç¿¬ÇÑ Á¤Àǵé°ú °ø¸®µé·ÎºÎÅÍ Ãâ¹ßÇØ À¯Å¬¸®µå´Â ´Ù¾çÇÑ ¸íÁ¦¸¦ ¿¬¿ªÀûÀ¸·Î Áõ¸íÇϸç Á¤¸®¸¦ À¯µµÇß´Ù. ÀÌ´Â ¼öÇÐÀ̶ó´Â Çй®ÀÇ ÀϹÝÀû ü°èȸ¦ ÀÌ·èÇÑ ´ë¾÷À̾ú´Ù.
¸Ô°í»ç´Â µ¥ ½á¸Ô¾ú´ø °í´ë ÀÌÁýÆ®ÀÇ ÅäÁö Ãø·®¿ë »ê¼úÀº ÇÏÄ¡·Î Ãë±ÞµÈ´Ù. À¯Å¬¸®µå°¡ °¥°í ´ÛÀº À̼ºÀ» ¼ö´ÜÀ¸·Î Áø¸® Ž±¸¸¦ À§ÇØ Àú ³ôÀº À̵¥¾Æ ¼öÁØ¿¡¼ ÀÌ·é Ãß»óÀû °ü³äÀû ÇüÀÌ»óÇÐÀû ÁöÀû À¯ÈñÀÇ ¼öÇÐÀº °íµîÇÑ ¼º°ú·Î Æò°¡µÈ´Ù. ¼¼»óÀº ¸Ô°í»ç´Â °æÁ¦¸¸À¸·Î µ¹¾Æ°¡Áö ¾Ê³ª º¸´Ù.
°æ¼º´ë ±¤°íÈ«º¸Çаú ±³¼ö