讨论:形式系统

本条目页属于下列维基专题范畴：

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

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

（获评未知重要度）

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

Untitled[编辑]

建议还是把本条目称为形式系统。寒蝉退士 14:47 2007年2月27日 (UTC)

这是大陆的译名吗？台湾这边多称“正规系统”。--Jnlin（讨论） 14:48 2007年2月27日 (UTC)