没有数据
通知
无通知
定理 (ていり) — 定理。
定理
定理。
定理証明システム
定理证明系统。
定理証明技法
定理证明技术。
決定理論 けっていりろん
决策论,判定理论。
展開定理
展开定理。
四色定理 「よんしょくていり」「ししょくていり」
四色定理(颜色)(说明任何地图都可以着色使得没有两个相邻段具有相同颜色的定理,如果只使用四种颜色)