討論:形式系統

本條目頁屬於下列維基專題範疇：

（獲評未評級、中重要度）

	數學主題閱論編本條目頁屬於數學專題範疇，該專題旨在改善中文維基百科數學類內容。如果您有意參與，請瀏覽專題主頁、參與討論，並完成相應的開放性任務。
未評	根據專題品質評級標準，本條目頁尚未接受評級。
中	根據專題重要度評級標準，本條目已評為中重要度。

（獲評未知重要度）

	資訊科技主題閱論編本條目頁屬於電腦和資訊科技專題範疇，該專題旨在改善中文維基百科資訊科技相關條目類內容。如果您有意參與，請瀏覽專題主頁、參與討論，並完成相應的開放性任務。
未評	根據專題品質評級標準，本條目頁尚未接受評級。
未知	根據專題重要度評級標準，本條目尚未接受評級。

Untitled

建議還是把本條目稱為形式系統。寒蟬退士 14:47 2007年2月27日 (UTC)

這是大陸的譯名嗎？台灣這邊多稱「正規系統」。--Jnlin（討論） 14:48 2007年2月27日 (UTC)