无限扩大的推论