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