{"batchcomplete":"","continue":{"lecontinue":"20260305080058|1781","continue":"-||"},"query":{"logevents":[{"logid":1791,"ns":0,"title":"\u578b\uff08\u6a21\u578b\uff09","pageid":1756,"logpage":1756,"revid":7064,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-28T16:02:32Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c[[\u5206\u7c7b:\u6a21\u578b\u8bba]] {{InfoBox |name=\u578b |eng_name=type }} {{InfoBox |name=\u5b9e\u73b0 |eng_name=realize }} '''\u578b'''('''type''')\u662f\u5173\u4e8e[[\u7406\u8bba]]\u7684\u6570\u5b66\u5bf9\u8c61\uff0c\u88ab[[\u6a21\u578b]]\u4e2d\u7684\u5143\u7ec4'''\u5b9e\u73b0'''('''realize''')\u3002\u7528\u4e8e\u63cf\u8ff0\u6a21\u578b\u4e2d\u67d0\u4e2a\u6216\u67d0\u4e9b\u7279\u6b8a\u4e2a\u4f53\u5bf9\u8c61\u89c6\u89d2\u7684\u7279\u5f81\u3002\u5177\u4f53\u5730\u8bf4\uff0c\u6211\u4eec\u5728\u56fa\u5b9a\u89c2\u5bdf\u8bba\u57df\u4e2d\u7684\u67d0\u4e9b\u4e2a\u4f53\u5bf9\u8c61\u4e0e\u4e00\u4e2a\u5b50\u96c6\u7684\u5173\u7cfb\u65f6\uff0c\u901a\u8fc7\u5168\u90e8\u80fd\u591f\u8fd9\u4e9b\u5bf9\u8c61\u548c\u5b50\u96c6\u6210\u7acb\u7684\u516c\u5f0f\u96c6\u5408\u6765\u63cf\u8ff0\u5b83\u4eec\u6240\u7b26\u2026\u201d"},{"logid":1790,"ns":10,"title":"\u6a21\u677f:\u6a21\u578b\u8bba","pageid":1755,"logpage":1755,"revid":7055,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-26T08:51:48Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c {| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=4 style='border-bottom-width:2px' | [[:\u5206\u7c7b:\u6a21\u578b\u8bba|\u6a21\u578b\u8bba]] |- ! rowspan=3 | \u7814\u7a76\u5bf9\u8c61 ! \u7406\u8bba\u548c\u6a21\u578b | \u5f62\u5f0f\u8bed\u8a00 <math>\\mathcal{L}</math> \u7684[[\u7406\u8bba]] <math>T</math> | \u5f62\u5f0f\u8bed\u8a00 <math>\\mathcal{L}</math> \u7684[[\u6a21\u578b]] <math>\\mathfrak{A}</math>  |- ! \u523b\u753b\u6027\u8d28 | [[\u8bed\u6cd5\u4e00\u81f4\u6027\uff08\u7406\u8bba\uff09|\u8bed\u6cd5\u4e00\u81f4\u6027]]\u3001\u53ef\u6ee1\u8db3\u6027\uff08\u7406\u8bba\u2026\u201d"},{"logid":1789,"ns":0,"title":"\u6a21\u578b\u5b8c\u5907\u5316","pageid":1754,"logpage":1754,"revid":7050,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-25T15:35:41Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c[[\u5206\u7c7b:\u6a21\u578b\u8bba]] {{InfoBox |name=\u6a21\u578b\u5b8c\u5907\u5316 |eng_name=model completion }} '''\u6a21\u578b\u5b8c\u5907\u5316'''('''model completion''')\u6307\u5bf9\u4e00\u4e2a\u4e00\u9636[[\u7406\u8bba]]\uff0c\u5411\u5176\u4e2d\u52a0\u5165\u65b0\u7684\u516c\u5f0f\uff0c\u4ee5\u4f7f\u5f97\u8fd9\u4e2a\u65b0\u7406\u8bba\u5177\u6709[[\u6a21\u578b\u5b8c\u5907\u6027]]\u3002\u6839\u636e[[\u56fe\u5f15\u7406\uff08\u6a21\u578b\uff09|\u56fe\u5f15\u7406]]\uff0c\u8fd9\u4e5f\u7b49\u4ef7\u4e8e\u5176\u6bcf\u4e2a[[\u6a21\u578b]]\u90fd\u4f7f\u5f97\u6a21\u578b\u4e2d\u7684[[\u56fe\uff08\u6a21\u578b\uff09|\u539f\u5b50\u56fe]]\u52a0\u5165\u540e\u7684\u7406\u8bba\u662f\u53ef\u6ee1\u8db3\u4e14[[\u5b8c\u5907\u6027\uff08\u7406\u8bba\uff09|\u5b8c\u5907]]\u7684\u3002  == \u5b9a\u4e49 ==  \u5bf9\u5f62\u5f0f\u2026\u201d"},{"logid":1788,"ns":0,"title":"\u5b50\u6a21\u578b\u5b8c\u5907\u6027","pageid":1753,"logpage":1753,"revid":7042,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-25T08:59:56Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c[[\u5206\u7c7b:\u6a21\u578b\u8bba]] {{InfoBox |name=\u5b50\u6a21\u578b\u5b8c\u5907\u6027 |eng_name=submodel completeness }} {{InfoBox |name=\u5b50\u6a21\u578b\u5b8c\u5907\u7684 |eng_name=submodel complete }} '''\u5b50\u6a21\u578b\u5b8c\u5907\u6027'''('''submodel completeness''')\u6307\u5bf9\u4e00\u4e2a\u4e00\u9636[[\u7406\u8bba]]\uff0c\u8fd9\u4e2a\u7406\u8bba\u7684\u4efb\u610f\u4e24[[\u6a21\u578b]]\u82e5\u6709\u540c\u4e00[[\u5b50\u6a21\u578b]]\u53ef\u4ee5[[\u540c\u6784\u5d4c\u5165\uff08\u6a21\u578b\uff09|\u540c\u6784\u5d4c\u5165]]\u5219\u5176\u6269\u5f20\u5bf9\u5e94\u53ef\u4ee5[[\u521d\u7b49\u5d4c\u5165|\u521d\u7b49\u5d4c\u5165]]\u540c\u4e00\u6a21\u578b\u3002\u6839\u636e[[\u56fe\u5f15\u7406\uff08\u6a21\u578b\uff09|\u56fe\u5f15\u7406]]\uff0c\u8fd9\u4e5f\u2026\u201d"},{"logid":1787,"ns":0,"title":"\u6a21\u578b\u5b8c\u5907\u6027","pageid":1752,"logpage":1752,"revid":7034,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-14T09:04:22Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c[[\u5206\u7c7b:\u6a21\u578b\u8bba]] {{InfoBox |name=\u6a21\u578b\u5b8c\u5907\u6027 |eng_name=model completeness }} {{InfoBox |name=\u6a21\u578b\u5b8c\u5907\u7684 |eng_name=model complete }} '''\u6a21\u578b\u5b8c\u5907\u6027'''('''model completeness''')\u6307\u5bf9\u4e00\u4e2a\u4e00\u9636[[\u7406\u8bba]]\uff0c\u5176\u6bcf\u4e2a[[\u6a21\u578b]]\u90fd\u4f7f\u5f97\u6a21\u578b\u4e2d\u7684[[\u56fe\uff08\u6a21\u578b\uff09|\u539f\u5b50\u56fe]]\u52a0\u5165\u540e\u7684\u7406\u8bba\u662f[[\u5b8c\u5907\u6027\uff08\u7406\u8bba\uff09|\u5b8c\u5907]]\u7684\u3002  == \u5b9a\u4e49 ==  \u5bf9\u5f62\u5f0f\u8bed\u8a00 <math>\\mathcal{L}</math> \u4e2d\u7684\u4e00\u9636\u7406\u8bba <math>T</math> \uff0c\u82e5\u5bf9\u6bcf\u4e2a <math>T\u2026\u201d"},{"logid":1786,"ns":0,"title":"\u5411\u4e0b L\u00f6wenheim\u2013Skolem \u5b9a\u7406","pageid":1751,"logpage":1751,"revid":7033,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-11T12:42:55Z","comment":"\u91cd\u5b9a\u5411\u9875\u9762\u81f3[[L\u00f6wenheim\u2013Skolem \u5b9a\u7406]]"},{"logid":1785,"ns":0,"title":"\u5411\u4e0a L\u00f6wenheim\u2013Skolem \u5b9a\u7406","pageid":1750,"logpage":1750,"revid":7032,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-11T12:42:35Z","comment":"\u91cd\u5b9a\u5411\u9875\u9762\u81f3[[L\u00f6wenheim\u2013Skolem \u5b9a\u7406]]"},{"logid":1784,"ns":0,"title":"\u8303\u7574\u6027\uff08\u7406\u8bba\uff09","pageid":1749,"logpage":1749,"revid":7030,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-11T12:41:31Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c[[\u5206\u7c7b:\u6a21\u578b\u8bba]]{{DEFAULTSORT:fan4chou2xing4}} {{#seo: |keywords=\u7406\u8bba\u7684\u8303\u7574\u6027, \u7406\u8bba\u662f\u8303\u7574\u7684 |description=\u672c\u6587\u4ecb\u7ecd\u4e86\u6a21\u578b\u8bba\u4e2d\u5173\u4e8e\u7406\u8bba\u662f\u5426\u8303\u7574\u7684\u5b9a\u4e49\uff0c\u8fd9\u4e00\u6027\u8d28\u523b\u753b\u4e00\u4e2a\u7406\u8bba\u662f\u5426\u53ea\u5177\u6709\u4e00\u79cd\u7ed3\u6784\u7684\u6a21\u578b\u3002 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-03-04 }} {{InfoBox |name=\u8303\u7574\u6027 |eng_name=categoricity }} {{InfoBox |name=\u03ba-\u8303\u7574\u7684 |eng_name=\u03ba-categorical }} '''\u2026\u201d"},{"logid":1783,"ns":0,"title":"\u56fe\u5f15\u7406\uff08\u6a21\u578b\uff09","pageid":1748,"logpage":1748,"revid":7024,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-07T07:14:52Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c[[\u5206\u7c7b:\u6a21\u578b\u8bba]]{{DEFAULTSORT:tu2yin3li3}} {{#seo: |keywords=\u56fe\u5f15\u7406,\u521d\u7b49\u56fe\u5f15\u7406 |description=\u672c\u6587\u63cf\u8ff0\u4e86\u6a21\u578b\u8bba\u4e2d\u79f0\u4e3a\u56fe\u5f15\u7406\u7684\u91cd\u8981\u5b9a\u7406\uff0c\u8fd9\u4e00\u5b9a\u7406\u63cf\u8ff0\u4e86\u4e00\u9636\u8bed\u8a00\u4e2d\u5d4c\u5165\u548c\u6269\u5f20\u4e4b\u95f4\u7684\u8054\u7cfb\u3002 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-03-07 }} {{InfoBox |name=\u56fe\u5f15\u7406 |eng_name=diagram lemma }} {{InfoBox |name=\u521d\u7b49\u56fe\u5f15\u7406 |end_name=elementary diagram lemma }} '''\u56fe\u5f15\u2026\u201d"},{"logid":1782,"ns":0,"title":"\u8f6c\u6362\u539f\u7406","pageid":1747,"logpage":1747,"revid":7021,"params":{},"type":"create","action":"create","user":"Gsxab","timestamp":"2026-03-07T05:05:02Z","comment":"\u521b\u5efa\u9875\u9762\uff0c\u5185\u5bb9\u4e3a\u201c[[\u5206\u7c7b:\u6a21\u578b\u8bba]]{{DEFAULTSORT:zhuan3huan4yuan2li3}} {{#seo: |keywords=\u8f6c\u6362\u539f\u7406, \u83b1\u5e03\u5c3c\u8328\u539f\u7406 |description=\u672c\u6587\u63cf\u8ff0\u4e86\u7edf\u79f0\u4e3a\u8f6c\u6362\u539f\u7406\u7684\u51e0\u4e2a\u5b9a\u7406\uff0c\u8bf4\u660e\u4e86\u8f6c\u6362\u539f\u7406\u5982\u4f55\u5728\u4e0d\u540c\u6a21\u578b\u95f4\u6210\u7acb\uff0c\u53ca\u5176\u5728\u4e0d\u540c\u9886\u57df\u5185\u7684\u5bf9\u5e94\u3002 }} '''\u8f6c\u6362\u539f\u7406'''('''transfer''')\u6307\u5f62\u5f0f\u8bed\u8a00\u4e2d\u5728\u67d0\u4e2a\u7ed3\u6784\u4e0b\u4e3a\u771f\u7684\u5168\u90e8\u516c\u5f0f\u5728\u53e6\u4e00\u7ed3\u6784\u4e0b\u4e00\u5b9a\u5168\u90e8\u4e3a\u771f\u3002\u8fd9\u4e00\u539f\u7406\u7684\u6838\u5fc3\u8868\u660e\u5f62\u5f0f\u8bed\u8a00\u4e2d\u7684\u65ad\u8a00\u5728\u6807\u51c6\u6a21\u578b\u2026\u201d"}]}}