{{{正确标题名称}}}
外观
![]() |
直觉主义逻辑属于维基百科数学主题的基础条目第五级。请勇于更新页面以及改进条目。 本条目页属于下列维基专题范畴: |
||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
![]() | 本条目有内容译自英语维基百科页面“Intuitionistic logic”(原作者列于其历史记录页)。 |
![]() | 下列网页锚点已失效。
请协助修正错误锚点。若机器人无法在修复锚点后数分钟内自动删除本范本告知的讯息,请您协助移除本模板。 | 报告错误 |
Untitled[编辑]
条目“直觉逻辑”译名不合适,建议改为“直觉主义逻辑”。这是有区别的。这也是为什么英文中不叫intuitive logic而叫intuitionistic logic。Revisor 11:01 2006年9月2日 (UTC)