Logo
法理原则是不能无限制推演的