主页 HomePage
形式学科 Formal
研究基于规则的抽象结构
01-逻辑 Logic
02-数学 Math
03-统计 Statistics
04-系统科学 SystemScience