# 證明與證據素養

先辨識證明義務，再區分人工證明、有限計算證據與精確形式證明。

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


- 階段 1 · required



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

先建立前提、推理、結論與非證明證據的區分。

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


- 階段 2 · required



## [畢達哥拉斯定理](/zh-Hant/mko/mko-euclid-pythagorean-theorem/?from=%2Fzh-Hant%2Fpaths%2Fpath-proof-and-evidence-literacy%2F)

同一物件同時具有人工、Python、FELRA 與 Lean 證據。

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


- 階段 3 · optional



## [直角三角形](/zh-Hant/mko/mko-right-triangle/?from=%2Fzh-Hant%2Fpaths%2Fpath-proof-and-evidence-literacy%2F)

比較定義物件與定理物件的證據需求。

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


- 階段 3 · optional



## [趨近關係](/zh-Hant/mko/mko-tends-to-relation/?from=%2Fzh-Hant%2Fpaths%2Fpath-proof-and-evidence-literacy%2F)

比較形式核心與完整分析語義的邊界。

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



路徑來源與狀態path-proof-and-evidence-literacy · reviewed

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