Talk:直觉主义逻辑
外观
![]() |
直觉主义逻辑属于维基百科數學主题的基礎條目第五級。请勇于更新页面以及改進條目。 本条目页属于下列维基专题范畴: |
||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
![]() | 本條目有内容譯自英語維基百科页面“Intuitionistic logic”(原作者列于其历史记录页)。 |
![]() | 下列網頁錨點已失效。
請協助修正錯誤錨點。若機器人無法在修復錨點後數分鐘內自動刪除本範本告知的訊息,請您協助移除本模板。 | 報告錯誤 |
Untitled
[编辑]条目“直觉逻辑”译名不合适,建议改为“直觉主义逻辑”。这是有区别的。这也是为什么英文中不叫intuitive logic而叫intuitionistic logic。Revisor 11:01 2006年9月2日 (UTC)