Hao Wang, "On Formalization" in Contemporary Readings in Logical Theory, The Macmillan Company, New York(1967),
-----------------------
ÇÑ ÆäÀÌÁö Á¶±Ý ³Ñ´Â Á¤µµÀÇ ¹ø¿ªÀÔ´Ï´Ù.
ÀÌ ³»¿ëÀ» ÀÐ¾î º¸½Ã¸é ÀúÀÚ°¡ ³í¹®¿¡¼ ³íÀÇÇÏ·Á°í ÇÏ´Â ³íÀÇÀÇ ¹æÇâÀº ¾Ë ¼ö ÀÖ½À´Ï´Ù.
Àо°í ÇÊ¿äÇϽøé Àüü ³í¹®À» ÀÐ¾î º¸½Ã¸é µÇ°ÚÁö¿ä. |
|