<?xml version="1.0"?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<head>
<meta http-equiv="cache-control" content="max-age=180,private" />
</head>
<card id="discuz_wml" title="&#x96f7;&#x9054;&#x90e8;&#x5c4b;&#x8ad6;&#x58c7; - &#x9999;&#x6e2f;&#x8a0e;&#x8ad6;&#x5340; ! &#x96fb;&#x53f0;&#x8cc7;&#x8a0a;&#x7684;&#x8ad6;&#x58c7;">
<p>#1 &#x5229;&#x5bb3;&#x5229;&#x5bb3;......&#x6559;&#x4f60;&#x70ba;&#x4f55;1+1=2<br /><small>&#x6709;&#x4e0d;&#x5c11;&#x4eba;&#x90fd;&#x53ef;&#x80fd;&#x66fe;&#x7d93;&#x554f;&#x904e;&quot;&#x70ba;&#x4f55;1+1=2&#xff1f;&quot;&#x9019;&#x500b;&#x770b;&#x4f3c;&#x591a;&#x9918;(?)&#x7684;&#x554f;&#x984c;&#x3002;&#x73fe;&#x5728;&#x6211;&#x5617;&#x8a66;&#x5411;&#x6709;&#x8208;&#x8da3;&#x7684;&#x7db2;&#x53cb;&#x7c21;&#x55ae;&#x4ecb;&#x7d39;&#x4e00;&#x4e0b;&#x600e;&#x6a23;&#x5728;&#x516c;&#x7406;&#x96c6;&#x5408;&#x8ad6;&#x7684;&#x6846;&#x67b6;&#x5167;&#x8a3c;&#x660e; &quot;1+1=2&quot; &#x9019;&#x53e5;&#x5c0d;&#x7d55;&#x5927;&#x591a;&#x6578;&#x4eba;&#x4f86;&#x8aaa;&#x90fd;&quot;&#x985b;&#x64b2;&#x4e0d;&#x7834;&quot;&#x7684;&#x6578;&#x5b78;&#x8ff0;&#x53e5;&#x3002;&#x9996;&#x5148;&#xff0c;&#x5927;&#x5bb6;&#x8981;&#x77e5;&#x9053;&#x5728;&#x96c6;&#x5408;&#x8ad6;&#x7684;&#x8108;&#x7d61;&#x4e2d;&#x6211;&#x5011;&#x8a0e;&#x8ad6;&#x7684;&#x5c0d;&#x8c61;&#x662f;&#x5404;&#x5f0f;&#x5404;&#x6a23;&#x7684;&#x96c6;&#x5408;&#xff08;&#x6216;&#x985e; (class)&#xff0c;&#x5b83;&#x5011;&#x548c;&#x96c6;&#x5408;&#x7684;&#x5206;&#x5225;&#x5728;&#x6b64;&#x4e0d;&#x8d05;&#xff09;&#xff0c;&#x6545;&#x6b64;&#x6211;&#x5011;&#x7d93;&#x5e38;&#x78b0;&#x5230;&#x7684;&#x81ea;&#x7136;&#x6578;&#x5728;&#x9019;&#x88e1;&#x4e5f;&#x662f;&#x4ee5;&#x96c6;&#x5408;&#xff08;&#x6216;&#x985e;&#xff09;&#x4f86;&#x5b9a;&#x7fa9;&#x3002;&#x4f8b;&#x5982;&#x6211;&#x5011;&#x53ef;&#x7528;&#x4ee5;&#x4e0b;&#x7684;&#x65b9;&#x5f0f;&#x754c;&#x5b9a;0&#xff0c;1&#x548c;2(eg. qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, &#xa7;43-44)&#xff1a; <br />
<br />
0 := {x: x ={y: ~(y = y)}} <br />
1 := {x: y(y&#x3b5;x.&amp;.x\{y}&#x3b5;0) ..</small><br />
</p>
<p>#1 <a href="index.php?action=thread&amp;tid=10038&amp;start=0&amp;offset=497&amp;sid=UxxXVy">&gt;&gt;&#x4e0b;&#x9801;</a><br />
<br />&#x8ad6;&#x58c7;:<a href="index.php?action=forum&amp;fid=6&amp;sid=UxxXVy">&#x8ac7;&#x5929;&#x8aaa;&#x5730;</a>
<br />&#x4e3b;&#x984c;:<a href="index.php?action=thread&amp;tid=10038&amp;sid=UxxXVy">&#x5229;&#x5bb3;&#x5229;&#x5bb3;......&#x6559; ...</a>
<br />&#x4e0b;&#x4e00;&#x4e3b;&#x984c;:<a href="index.php?action=thread&amp;tid=13064&amp;sid=UxxXVy">&#x3010;&#x8f49;&#x8f09;&#x3011;56&#x500b;&#x6c11;&#x65cf; ...</a>
</p>
<p align="center"><br /><a href="index.php?sid=UxxXVy">&#x9996;&#x9801;</a><br />
<a href="index.php?action=login&amp;sid=">&#x767b;&#x9304;</a><br /><br />
<small>Powered by Discuz!</small></p>
</card>
</wml>