# 數學基礎語言候選路徑

從計數的具體語言前進到集合、命題與邏輯連接詞，建立閱讀後續數學物件所需的基礎語言。

這是教學建議順序，不是一般性的邏輯依賴或已形式化證明。


- 階段 1 · required



## [自然數](/zh-Hant/mko/mko-natural-number/?from=%2Fzh-Hant%2Fpaths%2Fpath-foundational-language-candidate%2F)

先用熟悉的計數對象建立數學概念與符號的區分。

[相關題目](/zh-Hant/explore/?mko=mko-natural-number) [概念導讀](/zh-Hant/derivations/?q=mko-natural-number)


- 階段 2 · required



## [集合](/zh-Hant/mko/mko-set/?from=%2Fzh-Hant%2Fpaths%2Fpath-foundational-language-candidate%2F)

再以集合整理對象、元素與整體之間的語言。

[相關題目](/zh-Hant/explore/?mko=mko-set) [概念導讀](/zh-Hant/derivations/?q=mko-set)


- 階段 3 · required



## [命題](/zh-Hant/mko/mko-proposition/?from=%2Fzh-Hant%2Fpaths%2Fpath-foundational-language-candidate%2F)

引入可被斷言、判定與證明的數學陳述。

[相關題目](/zh-Hant/explore/?mko=mko-proposition) [概念導讀](/zh-Hant/derivations/?q=mko-proposition)


- 階段 4 · required



## [邏輯連接詞](/zh-Hant/mko/mko-logical-connectives/?from=%2Fzh-Hant%2Fpaths%2Fpath-foundational-language-candidate%2F)

用否定、合取、析取、蘊涵與雙條件組合命題。

[相關題目](/zh-Hant/explore/?mko=mko-logical-connectives) [概念導讀](/zh-Hant/derivations/?q=mko-logical-connectives)


- 階段 5 · required



## [數學證明](/zh-Hant/mko/mko-proof/?from=%2Fzh-Hant%2Fpaths%2Fpath-foundational-language-candidate%2F)

以明示前提與合法推理建立結論。

[相關題目](/zh-Hant/explore/?mko=mko-proof) [概念導讀](/zh-Hant/derivations/?q=mko-proof)



路徑來源與狀態path-foundational-language-candidate · candidate

[原始路徑 JSON](/data/architecture/learning-paths.json)