# 数学星图 · 怎么读这张图

数据见 `index.md`。

## 三层尺度

星系（数学领域）→ 星团（一套自足的装置）→ 节点（定理 / 定义 / 引理）。
**星团 = 为了造出某个「能用的东西」而存在的一整套结果**，不按课程分。
星团的 `hub` 是**中心天体**：装置被造出来就是为了得到它。

## 边的四种 kind

- `implication`（sources → target，带证明）、`equivalence`（a ⟺ b，双向证明）、
  `definition`（定义 → 用到它的结论）—— 这三类是 **strong** 边，逻辑骨架。
- `analogy` 是 **weak** 边：思想相通，没有逻辑蕴含，只用来找远房灵感。
  用了必须对用户明说「以下是弱边联想，不是逻辑结论」。⚠️ 弱边**不参与分层**。

## layer（依赖深度）

从最底层的 ZF 公理与集合概念算起，沿「前置 → 依赖它的」最长路径数出来的层号，
可以当**学习顺序**用；等价的命题算同一层。
⚠️ 它是依赖深度，不是课程顺序。

## 字段与引用

`id` `type` `label` `title` `region` `cluster` `layer`
`statement` `notes` `refs`；节点用 `id` 引用，深链 `#n=<节点id>`。

引用见 `LICENSE.txt`。

记号见 `notation.md`。