讨论:类型论

类型论属于维基百科数学主题的基础条目第五级。请勇于更新页面以及改进条目。
本条目属于下列维基专题范畴：

（获评未评级、中重要度）

	数学主题查论编本条目属于数学专题范畴，该专题旨在改善中文维基百科数学类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
未评	根据专题质量评级标准，本条目尚未接受评级。
中	根据专题重要度评级标准，本条目已评为中重要度。

电脑和信息技术专题

（获评高重要度）

	信息技术主题查论编本条目属于电脑和信息技术专题范畴，该专题旨在改善中文维基百科信息技术相关条目类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
未评	根据专题质量评级标准，本条目尚未接受评级。
高	根据专题重要度评级标准，本条目已评为高重要度。

公式解析失败

最新留言：2个月前9条留言4人参与讨论

本主题或以下段落文字，移动自Wikipedia:互助客栈/技术。执行者：Jimmy-bot（留言） 2025年3月25日 (二) 16:14 (UTC)。回复

类型论#项与类型“项x的类型是 $\mathbb {N}$ ”的\mathbb{N}

“解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器“http://localhost:6011/zh.wikipedia.org/v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle \mathbb{N}} ”，

但问题只存于香港繁体版本，其他变体包括澳门均正常显示，用Windows Edge及Android Chrome皆能于登出状态复现，同一条目下方类型论#归纳类型的0、1、2、\mathbb{N}正常显示。--惣流·明日香·兰格雷不姓式波 2025年3月12日 (三) 11:19 (UTC)回复