人类逻辑简史
树思维推导