1 + 1 = 2
Áõ¸íÇØÁà
1 + 1 = 2´Â ¼öÇÐÀÇ ±âº»ÀûÀÎ ¿ø¸® Áß ÇϳªÀÔ´Ï´Ù. À̸¦ Áõ¸íÇÏ´Â ¹æ¹ýÀº ¿©·¯ °¡Áö°¡ ÀÖÁö¸¸, ¿©±â¿¡¼´Â ÁýÇÕ·ÐÀÇ ±âº» °³³äÀ» »ç¿ëÇÑ °£´ÜÇÑ Áõ¸íÀ» ¼Ò°³ÇÏ°Ú½À´Ï´Ù.
ÀÌ °úÁ¤Àº ±âº»ÀûÀÎ ¼öÇÐÀÇ Á¤ÀÇ¿¡ µû¶ó ÀÌ·ç¾îÁö¸ç, ÀÚ¿¬¼öÀÇ ±âº» ¼ºÁú¿¡ ÀÇÇØ Áõ¸íµË´Ï´Ù.
ÀÚ±â¼Ò°³°¡ ¾ø½À´Ï´Ù.
¼öÇÐÀûÀ¸·Î ( 1 + 1 = 2 )¸¦ ÁõÇϱâ À§ÇØ, ÀÚ¿¬¼öÀÇ Á¤ÀÇ¿Í °ø¸®¸¦ »ç¿ëÇÏ¿© ¼³¸íÇÒ ¼ö ÀÖ½À´Ï´Ù. ÀϹÝÀûÀ¸·Î À̸¦ °³³äÀûÀ¸·Î ÀÌÇØÇϱâ À§ÇØ »ç¿ëÇÏ´Â ¹æ¹ý Áß Çϳª´Â Æä¾Æ³ë °ø¸®(Peano axioms)ÀÔ´Ï´Ù.
Æä¾Æ³ë °ø¸®´Â ÀÚ¿¬¼ö¸¦ Á¤ÀÇÇÏ´Â ±âº» °ø¸®À̸ç, ´ÙÀ½°ú °°Àº °ø¸®¸¦ Æ÷ÇÔÇÕ´Ï´Ù:
ÀÌÁ¦, ´ÙÀ½°ú °°ÀÌ '1'°ú '2'¸¦ Á¤ÀÇÇÕ´Ï´Ù:
ÀÌÁ¦ ( 1 + 1 )À» °è»êÇØ º¸°Ú½À´Ï´Ù:
µû¶ó¼, ( 1 + 1 = S() + S() = S(S()) = 2 )·Î Áõ¸íµË´Ï´Ù.
°á·ÐÀûÀ¸·Î, ¼öÇÐÀûÀ¸·Î ( 1 + 1 = 2 )¶ó´Â ¸íÁ¦°¡ ¼º¸³ÇÔÀ» È®ÀÎÇß½À´Ï´Ù.