{"id":30035,"date":"2021-11-17T16:56:36","date_gmt":"2021-11-17T08:56:36","guid":{"rendered":"https:\/\/swarma.org\/?p=30035"},"modified":"2021-11-17T16:56:36","modified_gmt":"2021-11-17T08:56:36","slug":"%e9%9b%86%e5%90%88%e8%ae%ba-vs-%e8%8c%83%e7%95%b4%e8%ae%ba-%e6%b1%87%e7%bc%96%e8%af%ad%e8%a8%80-vs-c%ef%bc%9f%ef%bd%9c%e8%8c%83%e7%95%b4%e8%ae%ba%e5%93%b2%e5%ad%a6-i","status":"publish","type":"post","link":"https:\/\/swarma.org\/?p=30035","title":{"rendered":"\u96c6\u5408\u8bba vs \u8303\u7574\u8bba = \u6c47\u7f16\u8bed\u8a00 vs C++\uff1f\uff5c\u8303\u7574\u8bba\u54f2\u5b66 I"},"content":{"rendered":"
\n
\n

<\/section>\n

<\/section>\n

<\/section>\n<\/section>\n

<\/span><\/strong><\/span><\/section>\n
\n
\n
\n

<\/p>\n<\/section>\n

\n
\n
\n
\n
\n
\n

<\/section>\n<\/section>\n
\n
\n

\u5bfc\u8bed<\/strong><\/p>\n<\/section>\n<\/section>\n

\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
\n
\n

<\/strong>\u8303\u7574\u8bba\u662f\u73b0\u4ee3\u6570\u5b66\u4e2d\u91cd\u8981\u7684\u4e00\u95e8\u5b66\u79d1\uff0c\u5df2\u7ecf\u5bf9\u4eba\u4eec\u7406\u89e3\u73b0\u4ee3\u6570\u5b66\u548c\u7269\u7406\u95ee\u9898\u4ea7\u751f\u4e86\u6df1\u8fdc\u5f71\u54cd\u3002\u7b80\u5355\u6765\u8bf4\uff0c\u8fd9\u662f\u4e00\u95e8\u7814\u7a76\u201c\u5173\u7cfb\u201d\u53ca\u5176\u6027\u8d28\u7684\u5b66\u95ee\uff0c\u662f\u6570\u5b66\u7684\u6570\u5b66\u3002\u4f46\u4f5c\u4e3a\u4e00\u9879\u6781\u4e3a\u62bd\u8c61\u7684\u7406\u8bba\uff0c\u7e41\u6742\u7684\u6280\u672f\u7ec6\u8282\u4f1a\u4ee4\u4eba\u671b\u800c\u5374\u6b65\u3002\u672c\u6587\u5219\u4ece\u53e6\u4e00\u4e2a\u89d2\u5ea6\uff0c\u628a\u8303\u7574\u8bba\u4f5c\u4e3a\u8c08\u8bba\u6570\u5b66\u7684\u8bed\u8a00\uff0c\u9610\u8ff0\u5176\u5bf9\u601d\u7ef4\u65b9\u5f0f\u7684\u5f71\u54cd\u3002\u6587\u7ae0\u4f5c\u8005\u6df1\u53d7\u8303\u7574\u8bba\u5f71\u54cd\uff0c\u4e3e\u51fa\u8bb8\u591a\u5b9e\u4f8b\u6765\u8f85\u4ee5\u5e2e\u52a9\u7406\u89e3\u8303\u7574\u8bba\u7684\u601d\u60f3\u548c\u54f2\u5b66\uff0c\u5e0c\u5180\u5bf9\u6211\u4eec\u7406\u89e3\u8303\u7574\u8bba\uff0c\u4f53\u4f1a\u8303\u7574\u7684\u601d\u8003\u65b9\u5f0f\u6709\u6240\u5e2e\u52a9\u3002<\/strong><\/p>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n

\n
\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
<\/strong><\/section>\n<\/section>\n
\n
\u53f6\u51cc\u8fdc<\/span> | \u64b0\u6587<\/strong><\/span><\/section>\n<\/section>\n
\n
\n
\n
   <\/span><\/section>\n

<\/span><\/section>\n

\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n
\n

1. \u524d\u8a00<\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<\/section>\n<\/section>\n<\/section>\n


<\/p>\n

\u4e0d\u77e5\u9053\u5927\u5bb6\u6709\u6ca1\u6709\u770b\u8fc7\u300a\u964d\u4e34\u300b\uff0c\u8fd9\u662f\u4e00\u90e8\u79d1\u5e7b\u7535\u5f71\uff0c\u6839\u636e\u7279\u5fb7\u00b7\u59dc\u7684\u5c0f\u8bf4\u300a\u4f60\u4e00\u751f\u7684\u6545\u4e8b\u300b\u6539\u7f16\u800c\u6210\u3002\u91cc\u9762\u8bb2\u8ff0\u4e86\u4eba\u7c7b\u548c\u5916\u661f\u4eba\u521d\u6b21\u63a5\u89e6\u65f6\u7684\u6545\u4e8b\u3002\u8fd9\u4e2a\u79d1\u5e7b\u6545\u4e8b\u7684\u7acb\u8db3\u70b9\u975e\u5e38\u6709\u8da3\uff0c\u5b83\u57fa\u4e8e\u4e00\u4f4d\u8bed\u8a00\u5b66\u5bb6\u548c\u4e00\u4f4d\u4eba\u7c7b\u5b66\u5bb6\u5728 20 \u4e16\u7eaa\u4e2d\u53f6\u6240\u63d0\u51fa\u7684\u6c99\u76ae\u5c14-\u6c83\u5c14\u592b\u5047\u8bf4\uff08Sapir-Whorf hypothesis\uff09<\/span>\uff0c\u6709\u65f6\u4e5f\u88ab\u79f0\u4e3a\u8bed\u8a00\u76f8\u5bf9\u8bba\uff08linguistic relativity\uff09<\/span>\u3002\u5047\u8bf4\u7684\u4e3b\u8981\u5185\u5bb9\u662f\uff0c\u4e00\u4e2a\u4eba\u6240\u638c\u63e1\u8bed\u8a00\u7684\u5185\u90e8\u7ed3\u6784\u4f1a\u5f71\u54cd\u5176\u601d\u7ef4\u65b9\u5f0f\u548c\u5bf9\u4e16\u754c\u7684\u8ba4\u77e5\uff0c\u4e8e\u662f\u4f7f\u7528\u4e0d\u540c\u8bed\u8a00\u7684\u4eba\u5176\u601d\u7ef4\u65b9\u5f0f\u5c31\u4e0d\u5c3d\u76f8\u540c\u3002\u5728\u7b14\u8005\u7684\u8ba4\u8bc6\u4e2d\uff0c\u6570\u5b66\u5728\u67d0\u79cd\u610f\u4e49\u4e0a\u4fbf\u662f\u4e00\u95e8\u8bed\u8a00\uff0c\u5c3d\u7ba1\u5176\u662f\u62bd\u8c61\u7684\uff0c\u4f46\u6b63\u662f\u501f\u52a9\u6570\u5b66\u7684\u62bd\u8c61\u6027<\/strong>\uff0c\u6211\u4eec\u624d\u80fd\u8ba4\u8bc6\u5230\u5ba2\u89c2\u4e16\u754c\u80cc\u540e\u7684\u666e\u904d\u89c4\u5f8b<\/strong>\u3002<\/span><\/section>\n
\u4eca\u5929\u8fd9\u7bc7\u6587\u7ae0\u5e0c\u671b\u4e3a\u8bfb\u8005\u4ecb\u7ecd\u4e00\u4e0b\u8303\u7574\u8bba\u3002\u8303\u7574\u8bba\u7684\u5386\u53f2\u5f88\u77ed\uff0c\u8fd8\u4e0d\u5230\u767e\u5e74\u3002\u5b83\u7684\u521b\u7acb\u8131\u80ce\u4e8e\u6851\u5fb7\u65af\u00b7\u9ea6\u514b\u83b1\u6069\uff08Saunders MacLane\uff0c1909-2005\uff09<\/span>\u548c\u585e\u7f2a\u5c14\u00b7\u827e\u4f26\u4f2f\u683c\uff08Samuel Eilenberg\uff0c1913-1998\uff09<\/span>\u5728 1945 \u5e74\u53d1\u8868\u7684\u8bba\u6587 General theory of natural equivalences<\/em>\u3002\u77ed\u77ed\u4e03\u516b\u5341\u5e74\u7684\u65f6\u95f4\uff0c\u8303\u7574\u8bba\u5df2\u7ecf\u6e17\u900f\u8fdb\u4e86\u73b0\u4ee3\u6570\u5b66\u7684\u5927\u591a\u6570\u9886\u57df\uff0c\u7279\u522b\u662f\u4ee3\u6570\u51e0\u4f55\u548c\u4ee3\u6570\u62d3\u6251\u3002<\/span><\/section>\n
\u5bf9\u5927\u90e8\u5206\u4eba\u800c\u8a00\uff0c\u8303\u7574\u8bba\u5e76\u4e0d\u5e94\u8be5\u88ab\u7406\u89e3\u6210\u6570\u5b66\u7684\u4e00\u4e2a\u5206\u652f\uff1b\u5728\u67d0\u79cd\u610f\u4e49\u4e0a\uff0c\u8303\u7574\u8bba\u5e94\u8be5\u88ab\u7406\u89e3\u4e3a\u8c08\u8bba\u6570\u5b66\u5bf9\u8c61\u7684\u8bed\u8a00<\/strong>\u3002\u6570\u5b66\u5bf9\u8c61\u5df2\u662f\u62bd\u8c61\u7684\u4e86\uff0c\u8c08\u8bba\u62bd\u8c61\u5bf9\u8c61\u7684\u8bed\u8a00\u672c\u8eab\u53ea\u4f1a\u66f4\u4e3a\u62bd\u8c61\u3002\u6211\u60f3\u8fd9\u4e5f\u8bb8\u4e5f\u662f\u8bb8\u591a\u4eba\u4e0d\u559c\u6b22\u8303\u7574\u8bba\u7684\u539f\u56e0\u3002\u4f46\u4ece\u6c99\u76ae\u5c14-\u6c83\u5c14\u592b\u5047\u8bf4\u7684\u89d2\u5ea6\u6765\u770b\uff0c\u5b66\u4e60\u8303\u7574\u7684\u8bed\u8a00\uff0c\u672c\u8d28\u4e0a\u662f\u5728\u5b66\u4e60\u8303\u7574\u7684\u601d\u8003\u65b9\u5f0f\uff1b\u800c\u8fd9\u6837\u7684\u601d\u8003\u65b9\u5f0f\u6240\u5e26\u6765\u7684\u529b\u91cf\u662f\u6ca1\u6709\u638c\u63e1\u7684\u4eba\u96be\u4ee5\u60f3\u8c61\u7684\u2014\u2014\u5c31\u50cf\u5728\u300a\u964d\u4e34\u300b\u4e2d\uff0c\u638c\u63e1\u5916\u661f\u4eba\u7684\u8bed\u8a00\u5c31\u610f\u5473\u7740\u5bf9\u65f6\u95f4\u7684\u7406\u89e3\u8fbe\u5230\u4e86\u5176\u4ed6\u4eba\u96be\u4ee5\u60f3\u8c61\u7684\u7a0b\u5ea6\u3002\u4ec5\u4ee5\u7b14\u8005\u4e2a\u4eba\u7684\u7ecf\u9a8c\u6765\u8bf4\uff0c\u53ea\u6709\u5728\u5b66\u4f1a\u4e86\u8303\u7574\u7684\u8bed\u8a00\u540e\u624d\u611f\u5230\u4e0d\u540c\u7684\u6570\u5b66\u5bf9\u8c61\u548c\u9886\u57df\u4f5c\u4e3a\u4e00\u4e2a\u6574\u4f53<\/strong>\u662f\u53ef\u4ee5\u88ab\u7406\u89e3\u7684\u3002<\/span><\/section>\n
\u5c3d\u7ba1\u8303\u7574\u8bba\u53ea\u6709\u5f88\u77ed\u7684\u5386\u53f2\uff0c\u4f46\u5b83\u5df2\u7ecf\u53d1\u5c55\u6210\u4e3a\u4e86\u4e00\u95e8\u975e\u5e38\u4e30\u5bcc\u7684\u5b66\u79d1\uff0c\u6709\u8bb8\u591a\u7684\u6280\u672f\u5185\u5bb9\u3002\u8303\u7574\u8bba\u6240\u5e26\u6765\u7684\u6d1e\u89c1\u975e\u5e38\u591a\uff0c\u8bb8\u591a\u66f4\u52a0\u6df1\u523b\u7684\u6d1e\u5bdf\u4e5f\u66f4\u4e3a\u4e13\u4e1a\u5316\u3002\u800c\u5728\u8fd9\u7bc7\u6587\u7ae0\u4e2d\uff0c\u6211\u5e76\u4e0d\u4f1a\u4ecb\u7ecd\u4efb\u4f55\u8303\u7574\u8bba\u7684\u6280\u672f\u7ec6\u8282\uff0c\u751a\u81f3\u90fd\u4e0d\u4f1a\u7ed9\u51fa\u8303\u7574\u7cbe\u786e\u7684\u6570\u5b66\u5b9a\u4e49\u3002\u6211\u5e0c\u671b\u7740\u91cd\u5f3a\u8c03\u7684\u662f\u8303\u7574\u8bba\u7684\u601d\u8003\u65b9\u5f0f\uff0c\u8fd9\u624d\u662f\u5bf9\u5927\u591a\u6570\u8bfb\u8005\u800c\u8a00\u6700\u6709\u7528\u7684\u90e8\u5206\u3002\u8303\u7574\u8bba\u6240\u5e26\u6765\u7684\u6d1e\u89c1\u975e\u5e38\u591a\uff0c\u4f46\u8bb8\u591a\u66f4\u4e3a\u6df1\u523b\u7684\u6d1e\u89c1\u4e5f\u66f4\u4e3a\u4e13\u4e1a\u5316\u3002\u672c\u6587\u53ea\u5728\u6700\u57fa\u7840\u7684\u5c42\u9762\u8bb2\u8bb2\u8303\u7574\u8bba\u5bf9\u6211\u4eec\u601d\u8003\u95ee\u9898\u7684\u65b9\u5f0f\u6240\u5e26\u6765\u7684\u8f6c\u53d8\uff0c\u5e0c\u671b\u8fd9\u80fd\u591f\u6fc0\u8d77\u90e8\u5206\u8bfb\u8005\u7684\u5174\u8da3\uff0c\u4ee5\u81f4\u80fd\u591f\u66f4\u52a0\u6df1\u5165\u5730\u5b66\u4e60\u8303\u7574\u8bba\u7684\u5185\u5bb9\u3002\u8fd9\u7bc7\u6587\u7ae0\u51dd\u7ed3\u4e86\u7b14\u8005\u5f88\u957f\u65f6\u95f4\u601d\u8003\u7684\u79ef\u7d2f\uff0c\u5e0c\u671b\u80fd\u5bf9\u8bfb\u8005\u6709\u6240\u542f\u53d1\u3002\u5168\u6587\u5171 9000 \u5b57\u5de6\u53f3\u3002<\/span><\/section>\n

<\/section>\n
\u4ec0\u4e48\u662f\u8303\u7574\uff1f\u8fd9\u4e2a\u95ee\u9898\u653e\u5728\u4e0d\u540c\u7684\u8bed\u5883\u4e2d\u4f1a\u6709\u4e0d\u540c\u7684\u7b54\u6848\u3002\u65e9\u5728\u53e4\u5e0c\u814a\u65f6\u671f\uff0c\u4e9a\u91cc\u58eb\u591a\u5fb7\u5c31\u5199\u8fc7\u8457\u540d\u7684\u300a\u8303\u7574\u7bc7\u300b\uff08Categoriae<\/em>\uff09<\/span>\uff0c\u63a2\u7a76\u80fd\u88ab\u4eba\u6240\u8ba4\u77e5\u7684\u5bf9\u8c61\u7684\u5206\u7c7b\u95ee\u9898\u3002\u5728\u73b0\u4ee3\u6570\u5b66\u7684\u8bed\u5883\u4e0b\uff0c\u8303\u7574\u6709\u5176\u53e6\u5916\u7684\u542b\u4e49\u548c\u7cbe\u786e\u7684\u6570\u5b66\u5b9a\u4e49\uff0c\u4f46\u5bf9\u5176\u6700\u57fa\u672c\u7684\u76f4\u89c2\u662f\u4e0d\u53d8\u7684\uff1a\u5c06\u4e00\u7c7b\u76f8\u4f3c\u5bf9\u8c61\u805a\u5408\u5230\u4e00\u8d77\u4fbf\u7ec4\u6210\u4e00\u4e2a\u8303\u7574\u3002<\/span><\/section>\n
\u6211\u4eec\u4ece\u5c0f\u5b66\u5f00\u59cb\u7684\u6570\u5b66\u6559\u80b2\u4f3c\u4e4e\u57f9\u517b\u4e86\u8fd9\u6837\u7684\u89c2\u5ff5\uff1a\u6211\u4eec\u603b\u662f\u66f4\u503e\u5411\u4e8e\u5bf9\u67d0\u5355\u4e2a<\/strong>\u6570\u5b66\u5bf9\u8c61\u8fdb\u884c\u7814\u7a76\u548c\u5b66\u4e60\u3002\u5f53\u6211\u4eec\u62ff\u5230\u4e00\u4e2a\u62bd\u8c61\u7684\u6570\u5b66\u5bf9\u8c61\uff0c\u65e0\u8bba\u5b83\u662f\u67d0\u4e2a\u62d3\u6251\u7a7a\u95f4\uff0c\u8fd8\u662f\u4e00\u4e2a\u7fa4\u6216\u8005\u5411\u91cf\u7a7a\u95f4\uff0c\u4ea6\u6216\u662f\u4e00\u4e2a\u5149\u6ed1\u6d41\u5f62\u7b49\u7b49\uff0c\u6211\u4eec\u53ef\u80fd\u60f3\u5230\u7684\u7b2c\u4e00\u4e2a\u95ee\u9898\u4fbf\u662f\u8fd9\u4e2a\u5bf9\u8c61\u662f\u7531\u54ea\u4e9b\u5143\u7d20\u6784\u6210\u7684\u3002\u6362\u53e5\u8bdd\u8bf4\uff0c\u6211\u4eec\u5927\u591a\u6570\u65f6\u5019\u7814\u7a76\u4e00\u4e2a\u6570\u5b66\u5bf9\u8c61\u7684\u65b9\u5f0f\u662f\u4ece\u5176\u81ea\u8eab\u7684\u5185\u90e8\u7ed3\u6784\u5165\u624b\u3002\u7c97\u7565\u5730\u8bf4\uff0c\u8fd9\u662f\u96c6\u5408\u8bba\u7ed9\u6211\u4eec\u63d0\u4f9b\u7684\u5bf9\u6570\u5b66\u5bf9\u8c61\u7684\u57fa\u672c\u601d\u8003\u65b9\u5f0f\u3002<\/span><\/section>\n
\u8303\u7574\u8bba\u63d0\u4f9b\u4e86\u53e6\u5916\u7684\u601d\u8def\uff1a\u6211\u4eec\u53ef\u4ee5\u4ece\u5bf9\u8c61\u4e4b\u95f4\u7684\u5173\u8054<\/strong>\u6765\u7814\u7a76\u4e00\u4e2a\u5bf9\u8c61\u6240\u5177\u6709\u7684\u6027\u8d28\u3002\u4e00\u4e2a\u8303\u7574\u4e0d\u662f\u5355\u5355\u628a\u4e00\u7c7b\u5bf9\u8c61\u653e\u5728\u4e00\u8d77\u5c31\u597d\u4e86\uff0c\u8fd9\u4e9b\u5bf9\u8c61\u4e4b\u95f4\u8fd8\u6709\u8bb8\u591a\u4e0d\u540c\u7684\u5173\u7cfb\u3002\u6211\u4eec\u53ef\u4ee5\u628a\u6240\u6709\u7684\u7fa4\u653e\u5728\u4e00\u8d77\u6784\u6210\u7fa4\u7684\u8303\u7574\uff0c\u4f46\u7fa4\u4e0e\u7fa4\u4e4b\u95f4\u8fd8\u901a\u8fc7\u7fa4\u540c\u6001\u76f8\u5173\u8054\uff1b\u6211\u4eec\u4e5f\u53ef\u4ee5\u628a\u6240\u6709\u7684\u62d3\u6251\u7a7a\u95f4\u653e\u5728\u4e00\u4e2a\u6784\u6210\u62d3\u6251\u7684\u8303\u7574\uff0c\u4f46\u62d3\u6251\u7a7a\u95f4\u4e4b\u95f4\u8fd8\u6709\u8fde\u7eed\u51fd\u6570\u76f8\u5173\u8054\u3002\u56e0\u6b64\uff0c\u66f4\u51c6\u786e\u5730\u8bf4\uff0c\u8303\u7574\u662f\u4e00\u7c7b\u7269\u4f53\u548c\u5b83\u4eec\u4e4b\u95f4\u7684\u5173\u8054\uff0c\u6216\u91c7\u7528\u66f4\u6570\u5b66\u7684\u8bed\u8a00\u2014\u2014\u6001\u5c04\u2014\u2014\u6240\u6784\u6210\u7684\u4e00\u4e2a\u6574\u4f53\u3002\u6211\u4eec\u53ef\u4ee5\u628a\u6240\u6709\u7fa4\u6784\u6210\u7684\u8303\u7574\u8bb0\u4e3a Grp<\/strong>\uff0c\u628a\u6240\u6709\u62d3\u6251\u7a7a\u95f4\u6784\u6210\u7684\u8303\u7574\u8bb0\u4e3a Top<\/strong>\u3002\u7c7b\u4f3c\u7684\uff0c\u6211\u4eec\u628a\u6240\u6709\u7684\u96c6\u5408\u6240\u6784\u6210\u7684\u8303\u7574\u8bb0\u4e3a Set<\/strong>\uff08\u4ece\u6570\u7406\u903b\u8f91\u7684\u89d2\u5ea6\uff0cSet<\/strong> \u53ef\u4ee5\u7406\u89e3\u4e3a\u4f60\u559c\u6b22\u7684\u516c\u7406\u96c6\u5408\u8bba\u7cfb\u7edf\u5982 ZF, ZFC, ZFC+CH\uff0c\u751a\u81f3\u662f ZF+Atoms \u7b49\u7b49\u7684\u4e00\u4e2a\u6a21\u578b\uff09<\/span>\u3002<\/span><\/section>\n
\u4ece\u6211\u4eec\u539f\u672c\u5df2\u6709\u7684\u77e5\u8bc6\u53ef\u77e5\uff0c\u8bb8\u591a\u5b9a\u4e49\u53ef\u4ee5\u7b49\u4ef7\u7684\u7528\u5bf9\u8c61\u4e4b\u95f4\u7684\u6001\u5c04\u6765\u8868\u8ff0\u3002\u4e00\u4e2a\u5b50\u7fa4\u53ef\u4ee5\u7b49\u4ef7\u5730\u770b\u4f5c\u4e00\u4e2a\u5355\u7684\u7fa4\u540c\u6001\uff0c\u4e00\u4e2a\u7fa4\u7684\u5546\u7fa4\uff08\u6216\u6b63\u89c4\u5b50\u7fa4\uff09<\/span>\u53ef\u4ee5\u7b49\u4ef7\u5730\u770b\u4f5c\u4e00\u4e2a\u6ee1\u7684\u7fa4\u540c\u6001\uff1b\u6b63\u5982\u4e00\u4e2a\u5b50\u96c6\u53ef\u4ee5\u7b49\u4ef7\u5730\u770b\u4f5c\u4e00\u4e2a\u5355\u5c04\uff0c\u4e00\u4e2a\u5546\u96c6\u53ef\u4ee5\u7b49\u4ef7\u5730\u7528\u6ee1\u5c04\u6765\u8868\u8ff0\u3002<\/span><\/section>\n
\u53ef\u80fd\u76f8\u6bd4\u5b50\u7ed3\u6784\u548c\u5546\u7ed3\u6784\u66f4\u96be\u4ee5\u76f4\u63a5\u89c2\u5bdf\u5230\u7684\u662f\uff0c\u6211\u4eec\u9047\u5230\u7684\u5927\u90e8\u5206\u666e\u9002\u7684\u6570\u5b66\u6784\u9020\u90fd\u53ef\u4ee5\u7528\u5bf9\u8c61\u4e4b\u95f4\u7684\u6001\u5c04\u6765\u8868\u8ff0\u3002\u8fd9\u91cc\u4ec5\u4e3e\u4e00\u4e2a\u4f8b\u5b50\u3002<\/span><\/section>\n
\u96c6\u5408\u7684\u7b1b\u5361\u5c14\u79ef\u88ab\u5b9a\u4e49\u4e3a\u5982\u4e0b\u7684\u4e00\u4e2a\u96c6\u5408\uff1a<\/span><\/section>\n
<\/p>\n
<\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/section>\n

<\/span><\/section>\n

\u8fd9\u91cc\u6211\u4eec\u5b9a\u4e49\u7b1b\u5361\u5c14\u79ef\u7684\u65b9\u5f0f\u548c\u6211\u4eec\u6240\u4e60\u60ef\u7684\u8868\u8ff0\u5bf9\u8c61\u7684\u65b9\u5f0f\u4e00\u81f4\uff1a\u901a\u8fc7\u5b9a\u4e49 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u4e2d\u7684\u5143\u7d20\u6765\u5b9a\u4e49\u8fd9\u4e2a\u96c6\u5408\u3002\u4f46\u5b83\u4e5f\u53ef\u4ee5\u7b49\u4ef7\u5730\u4f9d\u7167\u96c6\u5408\u95f4\u7684\u6001\u5c04\u7ed9\u51fa\u53e6\u4e00\u79cd\u5b9a\u4e49\u3002\u4f9d\u636e\u6211\u4eec\u73b0\u5728\u6240\u5b9a\u4e49\u7684\u7b1b\u5361\u5c14\u79ef <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \uff0c\u53ef\u89c2\u5bdf\u5230\u6709\u5982\u4e0b\u4e24\u4e2a\u5f88\u91cd\u8981\u7684\u6001\u5c04\uff1a<\/span><\/section>\n
<\/p>\n
<\/path><\/g><\/path><\/g><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/section>\n

<\/span><\/section>\n

\u8fd9\u4e24\u4e2a\u6001\u5c04\u5206\u522b\u662f\u4ece <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u5230 <\/path><\/g><\/g><\/g><\/svg><\/span> \u548c <\/path><\/g><\/g><\/g><\/svg><\/span> \u7684\u6295\u5f71\u3002\u5728\u67d0\u79cd\u610f\u4e49\u4e0a\uff0c\u8fd9\u4e24\u4e2a\u6295\u5f71\u6620\u5c04\u662f\u6240\u6709\u4ece\u67d0\u4e2a\u96c6\u5408 <\/path><\/g><\/g><\/g><\/svg><\/span> \u5230 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u8fd9\u4e24\u4e2a\u96c6\u5408\u6001\u5c04\u7684\u4e8c\u5143\u7ec4\u4e2d\u7684\u201c\u6700\u4f18\u89e3\u201d\u3002\u8fd9\u53e5\u8bdd\u53ef\u80fd\u6682\u65f6\u8bfb\u4e0d\u901a\uff0c\u8ba9\u6211\u89e3\u91ca\u5730\u66f4\u8be6\u7ec6\u4e00\u4e9b\uff1a\u8003\u8651\u4efb\u4f55\u4e00\u4e2a\u4e8c\u5143\u7ec4 <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span>\uff0c\u5176\u4e2d <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u4e3a\u4e24\u4e2a\u6001\u5c04\u3002\u5bf9\u4e8e\u4efb\u610f\u8fd9\u6837\u7684\u4e8c\u5143\u7ec4\uff0c\u6211\u4eec\u53ef\u4ee5\u552f\u4e00\u5730\u786e\u5b9a\u4e00\u4e2a\u65b0\u7684\u6001\u5c04 <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u5982\u4e0b\uff1a<\/span><\/section>\n
<\/p>\n
<\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/section>\n

<\/span><\/section>\n

\u4e14\u6211\u4eec\u89c2\u5bdf\u5230\uff0c<\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u53ef\u4ee5\u7528\u8fd9\u4e2a\u65b0\u7684\u6001\u5c04 <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u548c\u4e24\u4e2a\u6295\u5f71\u6620\u5c04 <\/path><\/g><\/path><\/g><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/g><\/svg><\/span> \u6765\u8868\u8fbe\uff1a<\/span><\/section>\n
<\/p>\n
<\/embed><\/section>\n

<\/span><\/section>\n

\u5728\u8fd9\u4e2a\u610f\u4e49\u4e0a\uff0c\u6240\u6709\u8fd9\u6837\u7684\u4e8c\u5143\u7ec4 <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u90fd\u662f\u901a\u8fc7\u4e00\u4e2a\u552f\u4e00\u4ece <\/path><\/g><\/g><\/g><\/svg><\/span> \u5230 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u7684\u6620\u5c04\u590d\u5408\u4e0a\u6295\u5f71\u6620\u5c04\u6240\u5f97\u51fa\u7684\u3002\u5728\u8303\u7574\u8bba\u4e2d\uff0c\u6211\u4eec\u53ef\u4ee5\u628a\u8fd9\u4e2a\u6027\u8d28\u53cd\u8fc7\u6765\u4f5c\u4e3a <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u7684\u5b9a\u4e49<\/strong>\uff01\u5373\u6211\u4eec\u53ef\u4ee5\u5b9a\u4e49 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u662f\u8fd9\u6837\u7684\u4e00\u4e2a\u96c6\u5408\uff1a\u5b83\u5177\u6709\u4e24\u4e2a\u6001\u5c04 <\/path><\/g><\/path><\/g><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \uff0c\u4e14\u5bf9\u4e8e\u4efb\u610f\u7684\u96c6\u5408 <\/path><\/g><\/g><\/g><\/svg><\/span> \u548c\u4efb\u610f\u7684\u4e24\u4e2a\u6001\u5c04  <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \uff0c\u6709\u552f\u4e00\u786e\u5b9a\u7684\u6620\u5c04 <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u4f7f\u5f97 (1) \u6210\u7acb\u3002\u5728\u8303\u7574\u8bba\u4e2d\u6211\u4eec\u7ecf\u5e38\u91c7\u7528\u5982\u4e0b\u7684\u4ea4\u6362\u56fe\u6765\u8868\u8fbe\u8fd9\u6837\u7684\u6027\u8d28\uff1a
<\/span><\/section>\n
\n
\n

<\/p>\n


<\/p>

\u8fd9\u6837\u7684\u6027\u8d28\u88ab\u79f0\u4e3a\u6cdb\u6027\u8d28<\/span>\uff08universal property\uff09<\/span>\u3002\u5982\u679c\u5149\u770b\u4e0a\u9762\u7684\u5b9a\u4e49\uff0c\u6211\u4eec\u4f3c\u4e4e\u5f88\u96be\u7406\u89e3\u6cdb\u6027\u8d28\u5728\u8bf4\u4e9b\u4ec0\u4e48\u3002\u4f46\u4ece\u76f4\u89c2\u4e0a\u6765\u8bb2\uff0c\u6cdb\u6027\u8d28\u5176\u5b9e\u8bc9\u8bf4\u4e86 <\/span><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u7684<\/span>\u529f\u80fd<\/strong>\uff0c\u6216<\/span>\u4f7f\u7528\u65b9\u5f0f<\/strong>\u3002\u4e3a\u4e86\u8ba9\u8bfb\u8005\u66f4\u597d\u5730\u7406\u89e3\u6cdb\u6027\u8d28\u5728\u5e72\u4ec0\u4e48\uff0c\u6211\u5728\u8fd9\u91cc\u8bb2\u8bb2\u6cdb\u6027\u8d28\u548c<\/span>\u8bc1\u660e<\/strong>\u4e4b\u95f4\u975e\u5e38\u7d27\u5bc6\u7684\u5173\u8054\u3002<\/span>
<\/span><\/figcaption><\/figure>\n<\/section>\n
\u5728\u6570\u7406\u903b\u8f91\u4e2d\uff0c\u6211\u4eec\u53ef\u4ee5\u7528\u4e00\u4e9b\u8bc1\u660e\u8bba\u7684\u6027\u8d28\u6765\u523b\u753b\u903b\u8f91\u8fde\u8bcd\u5408\u53d6\uff08conjunction) \u3002\u6211\u4eec\u7528 <\/path><\/g><\/g><\/g><\/svg><\/span> \u6765\u8868\u793a\u5408\u53d6\uff0c\u7528 <\/path><\/g><\/g><\/g><\/svg><\/span> \u6765\u8868\u793a\u63a8\u51fa\u5173\u7cfb\uff0c\u5219\u663e\u7136\u5408\u53d6\u6ee1\u8db3\u5982\u4e0b\u6027\u8d28\uff1a<\/span><\/section>\n
<\/p>\n
<\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/section>\n

<\/span><\/section>\n

\u4e0a\u9762\u7684\u89c4\u5219\u544a\u8bc9\u6211\u4eec\uff0c\u6709\u4e00\u4e2a\u5408\u53d6\u547d\u9898\u65f6\uff0c\u6211\u4eec\u80fd\u5e72\u4e9b\u4ec0\u4e48\u3002\u8fd8\u6709\u53e6\u5916\u4e00\u4e2a\u89c4\u5219\u544a\u8bc9\u6211\u4eec\u5982\u4f55\u5f97\u5230\u4e00\u4e2a\u5408\u53d6\u547d\u9898\uff1a<\/span><\/section>\n
<\/p>\n
<\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/section>\n

<\/span><\/section>\n

(2) \u548c (3) \u8fd9\u4e24\u4e2a\u8bc1\u660e\u8bba\u7684\u6027\u8d28\u662f\u975e\u5e38\u81ea\u7136\u7684\uff0c\u5728\u6570\u7406\u903b\u8f91\u4e2d\u8fd9\u4e24\u6761\u6027\u8d28\u79f0\u4e3a\u5408\u53d6\u7684\u8bc1\u660e\u8bba\u8bed\u4e49 (proof-theoretic semantics) \u3002\u4e0d\u77e5\u9053\u8bfb\u8005\u6b64\u65f6\u80fd\u4e0d\u80fd\u770b\u51fa (2), (3) \u8fd9\u4e24\u6761\u8bc1\u660e\u8bba\u8bed\u4e49\u5bf9\u5408\u53d6\u7684\u523b\u753b\uff0c\u548c\u4e4b\u524d\u6211\u4eec\u8bb2\u7684\u7b1b\u5361\u5c14\u79ef\u7684\u6cdb\u6027\u8d28\u4e4b\u95f4\u7684\u5173\u8054\u3002<\/span><\/section>\n
\u5982\u679c\u4e0d\u80fd\u7684\u8bdd\uff0c\u8ba9\u6211\u4eec\u91cd\u65b0\u7528\u6587\u5b57\u8868\u8ff0\u4e00\u4e0b\u3002\u6211\u4eec\u53ef\u4ee5\u5b9a\u4e49 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u662f\u8fd9\u6837\u7684\u4e00\u4e2a\u547d\u9898\uff1a\u5b83\u65e2\u80fd\u63a8\u51fa <\/path><\/g><\/g><\/g><\/svg><\/span>\uff08<\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span>\uff09\uff0c\u53c8\u80fd\u63a8\u51fa <\/path><\/g><\/g><\/g><\/svg><\/span>\uff08<\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span>\uff09\uff1b\u4e14\u5bf9\u4e8e\u4efb\u610f\u4e00\u4e2a\u547d\u9898 <\/path><\/g><\/g><\/g><\/svg><\/span> \uff0c\u5982\u679c\u6709 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u4e14 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span>\uff0c\u5219 <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span>\u3002\u5982\u679c\u628a\u8fd9\u91cc\u7684\u63a8\u51fa\u5173\u7cfb\uff08\u6216\u8005\u8bf4\u8bc1\u660e\u5173\u7cfb\uff09\u770b\u4f5c\u6001\u5c04\uff0c\u6211\u4eec\u53ef\u4ee5\u53d1\u73b0\u5bf9\u5408\u53d6\u7684\u8bc1\u660e\u8bba\u8bed\u4e49\u63cf\u8ff0\u548c\u5b9a\u4e49\u7b1b\u5361\u5c14\u79ef\u7684\u6cdb\u6027\u8d28\u8868\u8ff0\u51e0\u4e4e\u662f\u5b8c\u5168\u4e00\u81f4\u7684\uff01\u5728\u8bc1\u660e\u8bba\u8bed\u4e49\u4e0b\u4e00\u4e2a\u8457\u540d\u7684\u6807\u8bed\u4fbf\u662f \u201cmeaning as use<\/strong>\u201d\uff0c\u5373\u901a\u8fc7\u5bf9\u903b\u8f91\u8fde\u8bcd\u7684\u4f7f\u7528\u6765\u786e\u5b9a\u5176\u542b\u4e49\u3002\u5982\u679c\u4f60\u6709\u8fd9\u6837\u7684\u76f4\u89c2\uff0c\u76f8\u4fe1\u4f60\u5e94\u8be5\u80fd\u66f4\u597d\u5730\u7406\u89e3\u4ec0\u4e48\u662f\u6cdb\u6027\u8d28\u3002<\/span><\/section>\n
\u6211\u4eec\u53ef\u4ee5\u6709\u7c7b\u4f3c\u7684\u603b\u7ed3\uff1a\u8303\u7574\u8bba\u662f\u6839\u636e\u529f\u80fd<\/strong>\uff08\u6216\u8005\u8bf4\u4e0e\u5176\u4ed6\u5bf9\u8c61\u7684\u5173\u7cfb<\/strong>)<\/span>\u6765\u5b9a\u4e49\u548c\u63cf\u8ff0\u4e00\u822c\u7684\u5bf9\u8c61\u7684\u3002<\/span><\/section>\n
\u6b64\u5904\u63d2\u4e00\u53e5\u9898\u5916\u8bdd\u3002\u4e0a\u9762\u63d0\u5230\u7684\u8bc1\u660e\u548c\u6cdb\u6027\u8d28\u4e4b\u95f4\u7684\u5173\u8054\u5176\u5b9e\u53cd\u6620\u4e86\u903b\u8f91\u4e0e\u8303\u7574\u8bba\u4e4b\u95f4\u66f4\u52a0\u6df1\u5c42\u6b21\u7684\u5bf9\u5e94\u3002\u5728\u67d0\u79cd\u7279\u5b9a\u7684\u610f\u4e49\u4e0b\uff08\u6211\u5fc5\u987b\u8981\u5f3a\u8c03\u4e0d\u662f\u5728\u6240\u6709\u610f\u4e49\u4e0b\uff09<\/span>\uff0c\u903b\u8f91\u548c\u8303\u7574\u662f\u7b49\u4ef7\u7684\u3002\u4f46\u8fd9\u7bc7\u521d\u6b65\u4ecb\u7ecd\u8303\u7574\u8bba\u601d\u60f3\u7684\u6587\u7ae0\u65e0\u6cd5\u6db5\u76d6\u8fd9\u66f4\u6df1\u5c42\u6b21\u7684\u8054\u7cfb\u3002<\/span><\/section>\n
\u8ba9\u6211\u4eec\u56de\u5230\u4e3b\u8981\u8bdd\u9898\u3002\u6211\u4eec\u5728\u524d\u9762\u6210\u529f\u5730\u91c7\u7528\u6cdb\u6027\u8d28\u5bf9\u7b1b\u5361\u5c14\u79ef\u8fdb\u884c\u4e86\u523b\u753b\uff0c\u4f46\u8fd9\u91cc\u9700\u8981\u8fdb\u4e00\u6b65\u8bf4\u660e\u4e24\u70b9\u3002\u9996\u5148\u9700\u8981\u5f3a\u8c03\u7684\u662f\uff0c\u8fd9\u91cc\u91cd\u8981\u7684\u4e0d\u5149\u662f <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u8fd9\u4e2a\u96c6\u5408\u672c\u8eab\uff0c\u4e0e\u5176\u540c\u7b49\u91cd\u8981\u7684\u662f\u4e24\u4e2a\u6295\u5f71\u6620\u5c04 <\/path><\/g><\/path><\/g><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/g><\/svg><\/span>\u3002\u4ece <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u5230 <\/path><\/g><\/g><\/g><\/svg><\/span> \u548c <\/path><\/g><\/g><\/g><\/svg><\/span> \u8fd8\u6709\u5f88\u591a\u6620\u5c04\uff0c\u4f46\u663e\u7136\u53ea\u6709 <\/path><\/g><\/path><\/g><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/g><\/svg><\/span> \u8fd9\u4e2a\u7ec4\u5408\u6ee1\u8db3\u4e0a\u9762\u6240\u9648\u8ff0\u7684\u6cdb\u6027\u8d28\u3002\u56e0\u6b64\u66f4\u51c6\u786e\u5730\u8bf4\uff0c\u6cdb\u6027\u8d28\u6240\u5b9a\u4e49\u7684\u5e76\u4e0d\u5355\u5355\u53ea\u662f\u8fd9\u4e2a\u96c6\u5408 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \uff0c\u800c\u662f\u4e00\u4e2a\u96c6\u5408\u52a0\u4e0a\u4e24\u4e2a\u6295\u5f71\u6620\u5c04\u8fd9\u4e2a\u6574\u4f53\u3002\u53e6\u5916\u66f4\u91cd\u8981\u7684\u4e00\u70b9\uff0c\u4e5f\u662f\u8d2f\u7a7f\u8303\u7574\u8bba\u54f2\u5b66\u7684\u4e00\u70b9\u662f\uff1a\u8fd9\u4e2a\u6cdb\u6027\u8d28\u5176\u5b9e\u5e76\u4e0d\u80fd\u552f\u4e00\u5730\u786e\u5b9a\u552f\u4e00\u7684\u4e00\u4e2a\u96c6\u5408\u548c\u4e24\u4e2a\u6620\u5c04\uff1b\u6bd4\u5982 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u8fd9\u4e2a\u96c6\u5408\u52a0\u4e0a\u4e24\u4e2a\u6295\u5f71\u6620\u5c04\u540c\u6837\u4e5f\u6ee1\u8db3\u5982\u4e0a\u7684\u6cdb\u6027\u8d28\u3002<\/span><\/section>\n
\u4ece\u96c6\u5408\u8bba\u7684\u89d2\u5ea6\u4e25\u683c\u6765\u8bb2\uff0c <\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u662f\u4e24\u4e2a\u4e0d\u540c\u7684\u96c6\u5408\u3002\u8fd9\u5c31\u5f15\u51fa\u4e86\u4e00\u4e2a\u66f4\u52a0\u91cd\u8981\u7684\u95ee\u9898\uff1a\u4ece\u4ec0\u4e48\u610f\u4e49\u4e0a\u6211\u4eec\u80fd\u8bf4\u6cdb\u6027\u8d28\u5b9a\u4e49<\/strong>\u4e86 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u5462\uff1f\u5982\u679c\u5b83\u90fd\u65e0\u6cd5\u51b3\u5b9a\u552f\u4e00\u7684\u4e00\u4e2a\u96c6\u5408\uff0c\u6211\u4eec\u5728\u4e00\u822c\u610f\u4e49\u4e0a\u5e76\u4e0d\u8ba4\u4e3a\u5b83\u7ed9\u51fa\u4e86\u4e00\u4e2a\u597d\u7684\u5b9a\u4e49\u3002\u8303\u7574\u8bba\u7684\u57fa\u672c\u7406\u8bba\u7ed9\u51fa\u4e86\u5bf9\u8fd9\u4e2a\u95ee\u9898\u7684\u7b54\u6848\uff1a\u5982\u679c\u6709\u4e24\u7ec4\u7ed3\u6784\u90fd\u6ee1\u8db3\u540c\u4e00\u4e2a\u6cdb\u6027\u8d28\uff0c\u5219\u8fd9\u4e24\u4e2a\u7ed3\u6784\u5fc5\u7136\u662f\u540c\u6784<\/strong>\u7684\uff01\u4ee5\u4e0a\u9762\u7684\u4f8b\u5b50\u6765\u8bb2\uff0c\u5c3d\u7ba1 <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u548c <\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/span> \u662f\u4e24\u4e2a\u4e0d\u540c\u7684\u96c6\u5408\uff0c\u4f46\u5b83\u4eec\u4e4b\u95f4\u6709\u4e00\u4e2a\u660e\u663e\u7684\u540c\u6784\uff1a<\/span><\/section>\n
<\/p>\n
<\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/path><\/g><\/g><\/g><\/svg><\/section>\n

<\/span><\/section>\n

\u7c97\u7565\u5730\u8bf4\uff0c\u8fd9\u5c31\u662f\u5960\u5b9a\u6574\u4e2a\u8303\u7574\u8bba\u57fa\u7840\u7684 Yoneda \u5f15\u7406\u8bb2\u8ff0\u7684\u5185\u5bb9\uff1a\u5728\u4e00\u4e2a\u8303\u7574\u4e2d\uff0c\u6ee1\u8db3\u540c\u6837\u6cdb\u6027\u8d28\u7684\u7ed3\u6784\u4e4b\u95f4\u5fc5\u5b9a\u662f\u540c\u6784\u7684\uff08\u8fd9\u53ea\u662f\u5bf9 Yoneda \u5f15\u7406\u7684\u7c97\u7565\u63cf\u8ff0\uff0c\u611f\u5174\u8da3\u7684\u8bfb\u8005\u53ef\u4ee5\u81ea\u884c\u67e5\u627e\u66f4\u4e3a\u7cbe\u51c6\u7684\u8868\u8ff0\uff09\uff01\u7528\u6570\u5b66\u5bb6\u7684\u8bed\u8a00\u6765\u8bf4\uff0c\u6cdb\u6027\u8d28\u5728\u540c\u6784\u7684\u610f\u4e49\u4e0a\u5b9a\u4e49\u4e86\u7b1b\u5361\u5c14\u79ef\u3002<\/span><\/section>\n
\u4e3a\u4ec0\u4e48\u6211\u4eec\u53ea\u5e0c\u671b\u5728\u540c\u6784\u7684\u610f\u4e49\u4e0a\u5b9a\u4e49\u5bf9\u8c61\uff1f\u6216\u8005\u66f4\u52a0\u5e7f\u6cdb\u5730\uff0c\u4e3a\u4ec0\u4e48\u91c7\u7528\u6cdb\u6027\u8d28\u3001\u5173\u6ce8\u5bf9\u8c61\u7684\u529f\u80fd\u548c\u4e0e\u5176\u4ed6\u4e8b\u7269\u4e4b\u95f4\u7684\u8054\u7cfb\u7684\u601d\u8003\u65b9\u5f0f\u5bf9\u6211\u4eec\u662f\u66f4\u6709\u7528\u7684\uff1f\u63a5\u4e0b\u6765\u4ec5\u4ec5\u5217\u4e3e\u4e00\u4e9b\u5bf9\u6211\u800c\u8a00\u5341\u5206\u91cd\u8981\u7684\u539f\u56e0\u3002<\/span><\/section>\n

<\/span><\/section>\n
\n
\n
\n
   <\/span><\/section>\n

\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n
\n

2. \u6570\u5b66\u66f4\u5173\u5fc3\u7684\u662f\u201c\u7ed3\u6784\u201d\u800c\u4e0d\u662f\u5177\u4f53\u7684\u67d0\u4e2a\u201c\u5bf9\u8c61\u201d<\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<\/section>\n<\/section>\n<\/section>\n


<\/p>\n

\u4ee5\u8303\u7574\u8bba\u4e3a\u57fa\u7840\u53d1\u5c55\u51fa\u4e86\u4e00\u4e2a\u6570\u5b66\u54f2\u5b66\u7684\u6d41\u6d3e\uff0c\u79f0\u4e3a\u7ed3\u6784\u4e3b\u4e49<\/span>\uff08structuralism\uff09<\/span>\u3002\u5728\u6b64\u6211\u7279\u522b\u5f3a\u8c03\uff0c\u8fd9\u4e00\u90e8\u5206\u6240\u53d9\u8ff0\u7684\u4e0d\u5e94\u8be5\u770b\u4f5c\u4e25\u683c\u7684\u54f2\u5b66\u8bba\u8ff0\uff0c\u53ea\u662f\u4e3a\u5927\u5bb6\u63d0\u4f9b\u4e00\u4e2a\u76f4\u89c2\u800c\u5df2\uff0c\u6240\u4ee5\u6807\u9898\u4e2d\u7684\u201c\u7ed3\u6784\u201d\u548c\u201c\u5bf9\u8c61\u201d\u5747\u6253\u4e0a\u4e86\u5f15\u53f7\u3002\u5982\u679c\u5728\u6570\u5b66\u54f2\u5b66\u7684\u8bed\u5883\u4e0b\u8ba8\u8bba\u7ed3\u6784\u4e3b\u4e49\u7684\u89c2\u70b9\u4e0e\u5185\u5bb9\uff0c\u6211\u4eec\u9700\u8981\u66f4\u4e3a\u4e25\u8c28\u7684\u8868\u8ff0\u3002<\/span><\/span><\/strong>
<\/span><\/section>\n
\u7ed3\u6784\u4e3b\u4e49\u6709\u5173\u6570\u5b66\u7684\u4e00\u4e2a\u57fa\u672c\u8bba\u65ad\u662f\uff0c\u771f\u6b63\u6709\u6570\u5b66\u5b9e\u8d28\u5185\u5bb9\u7684\u662f\u4e00\u4e9b\u201c\u7ed3\u6784\u201d\uff0c\u800c\u4e0d\u662f\u67d0\u4e2a\u5177\u4f53\u7684\u201c\u5bf9\u8c61\u201d\u3002\u8fd9\u6837\u8bf4\u8d77\u6765\u975e\u5e38\u62bd\u8c61\uff0c\u8ba9\u6211\u4eec\u4e3e\u4e00\u4e2a\u4f8b\u5b50\u6765\u770b\u770b\u3002\u6216\u8bb8\u6211\u4eec\u6700\u4e3a\u719f\u6089\u7684\u6570\u5b66\u5bf9\u8c61\u662f\u81ea\u7136\u6570\uff0c\u5728\u5b83\u4e0a\u9762\u6211\u4eec\u80fd\u505a\u57fa\u672c\u7684\u7b97\u672f\u8fd0\u7b97\uff0c\u4f8b\u5982\u52a0\u6cd5\u3001\u4e58\u6cd5\u7b49\u7b49\u3002\u4f46\u5982\u679c\u4f60\u975e\u5e38\u8ba4\u771f\u5730\u770b\u5f85\u96c6\u5408\u8bba\u5e76\u8ba4\u5b9a\u5b83\u4f5c\u4e3a\u6570\u5b66\u57fa\u7840\u7684\u8bdd\uff0c\u90a3\u4f60\u53ef\u80fd\u4f1a\u95ee\uff1a\u8fd9\u4e9b\u81ea\u7136\u6570\uff08\u6bd4\u5982 1\uff09<\/span>\u6240\u5bf9\u5e94\u7684\u96c6\u5408\u662f\u4ec0\u4e48\u5462\uff1f\u8fd9\u662f\u4e00\u4e2a\u53ef\u4ee5\u5408\u7406\u95ee\u51fa\u7684\u95ee\u9898\uff0c\u56e0\u4e3a\u5728\u96c6\u5408\u8bba\u7684\u610f\u4e49\u4e0b\u4e00\u5207\u6570\u5b66\u5bf9\u8c61\u5747\u5e94\u8be5\u662f\u4e00\u4e2a\u96c6\u5408\u3002<\/span><\/section>\n
\u5386\u53f2\u4e0a\u6570\u5b66\u5bb6\u4eec\u7ed9\u51fa\u4e86\u4e0d\u540c\u7684\u5b9a\u4e49\u3002\u516c\u7406\u96c6\u5408\u8bba\u7684\u5960\u57fa\u4eba\u7684\u7b56\u6885\u6d1b\uff08Ernst Zermelo\uff0c1871-1953\uff09<\/span>\u5b9a\u4e49\u4e86\u5982\u4e0b\u7684\u96c6\u5408\u4f5c\u4e3a\u81ea\u7136\u6570\uff1a<\/span><\/section>\n