OCME · 中英數學知識與推導

證明與證據素養

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

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

1. 階段 1 · required

   數學證明

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

   相關題目 概念導讀

2. 階段 2 · required

   畢達哥拉斯定理

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

   相關題目 概念導讀

3. 階段 3 · optional

   直角三角形

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

   相關題目 概念導讀

4. 階段 3 · optional

   趨近關係

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

   相關題目 概念導讀