dependency_graph

%%{init: {'flowchart': {'curve': 'stepAfter'}}}%%
graph TD
1["数学/数理逻辑/一阶逻辑"] --> 0["数学/数理逻辑/一阶逻辑演算"]
2["数学/数理逻辑/命题逻辑演算"] --> 1["数学/数理逻辑/一阶逻辑"]
3["数学/数理逻辑/命题逻辑"] --> 2["数学/数理逻辑/命题逻辑演算"]
4["数学/朴素集合论/朴素集合论(代理)"] --> 3["数学/数理逻辑/命题逻辑"]
classDef leaf fill:#fde68a,stroke:#b45309
class 0 leaf
classDef foundationRoot fill:#bbf7d0,stroke:#15803d
class 4 foundationRoot
click 0 "/数学/数理逻辑/一阶逻辑演算" "数学/数理逻辑/一阶逻辑演算"
click 1 "/数学/数理逻辑/一阶逻辑" "数学/数理逻辑/一阶逻辑"
click 2 "/数学/数理逻辑/命题逻辑演算" "数学/数理逻辑/命题逻辑演算"
click 3 "/数学/数理逻辑/命题逻辑" "数学/数理逻辑/命题逻辑"
click 4 "/数学/朴素集合论/朴素集合论(代理)" "数学/朴素集合论/朴素集合论(代理)"

Link to original

主要参考资料