# 讀懂數學，沿著推導往前走。

為中文、英文讀者與 AI 共建的數學知識系統：從概念與成立條件，走到例題、逐步推導及可追溯的證據。

[開始查找題目 →](/zh-Hant/explore/)[選一條學習路徑](/zh-Hant/paths/)

中英逐題詳解36,000

知識物件302

概念導讀299

學習路徑59



## 從你需要的地方開始



## [完整教材](/zh-Hant/books/)

逐章閱讀數與運算、代數、幾何，以及集合、邏輯與證明，或下載PDF。





## [先懂概念](/zh-Hant/knowledge/)

閱讀定義、條件、關係與精確公式。





## [看懂推導](/zh-Hant/derivations/)

299 份概念導讀，與逐題詳解分開查找。





## [主題練習](/zh-Hant/practice/)

360 個題批；每題均可連到中英詳解。





## [追查證據](/zh-Hant/formal/)

看原始 Lean、精確機器聲明與驗證界線。









## 如何讀懂驗證狀態



## 逐題詳解

36,000 題完成第二對話 AI 數理與中英語義覆核；0 題仍為顯示／符號檢查候選。





## 形式化證據

5 份 Lean 形式證據連結 4 個知識物件；另有 298 個物件尚未登錄形式證據。

[查看精確聲明與 Lean 原始碼](/zh-Hant/formal/)



## 來源與覆核分開

原題保留 candidate、英文保留 ai_candidate。二次 AI 覆核不是人工審查，也不是全庫 Lean 證明；有限案例只支持明示範圍。









## 地圖是入口，不是內容總量

Core80 保留穩定的基礎骨架；目前完整地圖含 302 個節點。知識物件、概念導讀、題目與形式化證據是不同層次，可沿著相互連結閱讀。

[探索數學地圖 →](/zh-Hant/atlas/)