跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
其他语言
搜索
搜索
外观
资助维基百科
创建账号
登录
个人工具
资助维基百科
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
元定理：修订历史
帮助
条目
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
Atom
上传文件
特殊页面
页面信息
获取短链接
下载二维码
在其他项目中
维基数据项目
外观
移至侧栏
隐藏
查看该页面的日志
（
查看過濾器日志
）
过滤修订
展开
折叠
截止日期：
标签
过滤：
2017年版源代码编辑
[[MediaWiki:Editcheck-falsepositives-link|编辑检查（参考资料）已激活]]
Android应用编辑
ASCII text added
AWB
CheckNewusermessageSignatures
CleanupCiteDates
CleanupCiteScriptTitles
CleanupCiteYMD
CleanupDuplicateArgs
CleanupILH_DOM
ContentTranslation：高比例未修改机器翻译
CropTool [1.2]
CropTool [1.4]
CropTool [1.5]
DiBabel [1.2]
discussiontools-added-comment（隐藏的标签）
discussiontools-source-enhanced（隐藏的标签）
discussiontools-source（隐藏的标签）
discussiontools-visual（隐藏的标签）
discussiontools（隐藏的标签）
DispatchRecentChanges
Dispenser [1.0]
Dispenser [2.4]
editcheck-newcontent（隐藏的标签）
editcheck-newreference（隐藏的标签）
editcheck-references（隐藏的标签）
EditCLI
Extraneous formatting
Fountain [0.1.3]
grammarly
HTML註解
Huggle
IABotManagementConsole (Personal Debug Consumer) [1.0]
IABotManagementConsole [1.1]
IABotManagementConsole [1.2]
IABotManagementConsole [1.3]
iOS应用编辑
Liangent-Labs-PHP [1.0]
Liangent-Labs-PHP-Restricted [1.0]
Light message (localhost) [1.0]
MakeRedirect
mentor list change
meta spam id
PAWS [1.2]
PAWS [2.1]
paws [2.2]
PopulateCite
possible open proxy
ProveIt
QuickCategories [1.1]
RollbackUserEdits
Suggested: add images to sections
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
T144167
TagGeo
ToolsRedirect
TranslateVariants
Translation Dashboard mdwiki1 [1.0]
TW
unblock-zh-helper [1.0]
vfd
wikieditor（隐藏的标签）
WikiLoop Battlefield Dev Local [2.0.0]
WikiMirror
Wikiplus
WikitextExtensionForVSCode
不中立语调
不当标点符号
以已知公有领域或自由版权作品为来源提报疑似侵权
使用他人簽名
修改人物昵称
修改數值
修改演员绰号昵称
修改生卒日期
修改艺人条目的角色性质
修改討論存檔或移除存檔模板
典范条目及优良条目的不正常修订
内容模型更改
内容翻译
内容翻译2
内容被大量删除
加入F开头的单词
加入不可见字符
加入不存在文件
加入不存在模板
加入博客链接
加入魔術字
包含其他符号和象形文字
参考文献语法出错或被移除
可视化编辑
可视化编辑：需检查
含有Unicode私有区编码
回复
回退
在條目代碼底部加入內容
增加不可靠来源
增加广告宣传内容
外部機器翻譯
大量刪除
导师模块问题
导师计划面板问题
小小作品
已更改重定向目标
已由文件导入器修改
已被回退
已达到条件限制
帮助面板问题
应用程序撤销
建议：加入图片
應用程式完整來源
應用程式建議編輯
應用程式段落來源
應用程式討論來源
應用程式討論回覆
應用程式討論話題
應用程式還原
手動轉換異體字
手工回退
拒绝（参考资料）编辑检查（不确定）
拒绝（参考资料）编辑检查（其他）
拒绝（参考资料）编辑检查（常识）
拒绝（参考资料）编辑检查（无关）
撤销
新手任务
新手任务：参考文献
新手任务：扩充
新手任务：更新
新手任务：编修
新手任务：链接
新用户加入疑似宣传性内容
新用户参与投票讨论
新用户编辑自己的对话页
新话题
新重定向
替换
机器人使用Zotero自动填充引用模板，请复查
机器人巡查：ORES
机器人巡查：巡查豁免
机器人根据WP:NFCC#3b自动缩小尺寸超标的非自由版权图片
机器人移除不再符合的无来源/无引用模板。请检查最近加入/引用的来源是否可靠，以及{{refimprove}}/{{more footnotes}}模板是否适用
机器人自动修正日期格式
机器人自动清理以外部链接形式表现的内部链接
机器人自动清理含有冗余参数的引用的页面
机器人自动清理含有引文日期格式错误的页面
机器人自动清理含有网址-维基内链冲突的页面
机器人自动清理引用模板中的不可见字符
机器人自动清理调用重复模板参数的页面
条目评级
检查外部链接
模板被删除
機器人巡查：被撤销
没有维基化
消歧义連結
添加不合規範之跨語言連結
添加刪除模板
添加文件
清空
清空章节
無意義字符
由可视化编辑器切换为wikitext编辑器
疑似COVID-19命名破坏
疑似剪贴移动
疑似转换标记不正常
疑似違反兩岸用語方針
社群配置
移动应用程序编辑
移动版编辑
移动版网页编辑
移除COI模板
移除他人留言
移除删除性模板
移除或更換文件
移除文件描述页模板
移除维护性模板
移除违反讨论页指引的留言
移除重定向
章节翻译
绘文字
维基友爱
编辑与用户名相同条目
编辑其他人的用户页
群发消息递送
自己存檔自己提出的評選
自己結束自己提出的評選，需要複檢結果
行動應用程式圖片新增至頂端
行動應用程式選擇來源
表格渐层背景
请复查NPOV:地域或团体观点
过多空白字符
重複字符
间隔号输入错误
阻止非自由版权文件的显示。根据著作权方针，非自由版权文件仅能在条目中合理使用，而不能在其它的命名空间使用。
高级移动版编辑
高風險主題編輯限制
反向选择
显示版本
选择下列任何一个版本的日期点击可以浏览。需要更多帮助请参看
Help:页面历史
和
Help:编辑摘要
。
外部工具：
修订历史统计
搜索编辑历史
（
备用
）
本月页面浏览统计
修复死链
（当前）= 与最后修订版本的差别，（先前）= 与前一个修订版本的差别，
小
=
小修改
，→ =
章节编辑
，← =
自动编辑摘要
2024年1月14日 (星期日)
当前
先前
07:10
2024年1月14日 (日) 07:10
Cewbot
留言
贡献
小
2,058字节
−19
清理跨語言連結
元理論
成為內部連結:編輯摘要的紅色內部連結乃正常現象，經繁簡轉換後存在，非bot錯誤編輯 (本次機械人作業已完成57.3%)
撤销
2022年7月28日 (星期四)
当前
先前
18:47
2022年7月28日 (四) 18:47
K1234567890y
留言
贡献
2,077字节
+2,077
←
建立内容为“在
邏輯
上，'''元定理'''是一個以
元語言
的對於
形式系統
的陳述。和在一個形式系統內證明的定理不同，元定理是在{{link-en|元理論|metatheory}}中證明的，且可能涉及元理論中存在、但在對象理論中不存在的概念。 一個形式系統是由元語言和演繹系統（公理及推理規則）所決定的，這形式系統可用於證明系統中以形式語言表達的特定…”的新页面
