该不会是数理逻辑里的全包吧?:)

请您先登陆,再发跟帖!