打开/关闭搜索
搜索
打开/关闭菜单
266
76
76
3055
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
变换映射:修订历史
帮助
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
查看该页面的日志
(
查看滥用日志
)
过滤修订版本
展开
折叠
截止日期:
标签
过滤:
discussiontools-added-comment(隐藏的标签)
discussiontools-source-enhanced(隐藏的标签)
discussiontools-source(隐藏的标签)
discussiontools-visual(隐藏的标签)
discussiontools(隐藏的标签)
wikieditor(隐藏的标签)
可视化编辑
可视化编辑:已切换
回复
回退
已更改重定向目标
已被回退
手工回退
撤销
新话题
新重定向
替换
清空
移除重定向
反选
显示版本
差异选择:选中要对比的修订的单选按钮,然后按Enter键或下面的按钮。
说明:
(当前)
=与最后修订的差异,
(之前)
=与上个修订的差异,
小
=小编辑。
2026年2月21日 (星期六)
当前
之前
22:54
2026年2月21日 (六) 22:54
Tabelog
留言
贡献
26,880字节
+26,880
创建页面,内容为“变换映射方法是<code>P進大好きbot</code>发展的一个系统性地对记号进行分析和证明良序的方法。 分析一个符号时,需要将其与另一个符号进行比较。换句话说,需要明确“哪个项对应哪个项”。在传统的表格分析中,我们并非写出每个项对应的项,而是简单地选择有限个看起来美观的项,然后写出希望它们对应的项。而使用转换映射进行分析,则是…”
标签
:
可视化编辑:已切换
变换映射:修订历史
来自Googology Wiki