这个不是绝对正确的,有不少自洽的系统可以假设这两个不相等的,比如非标准分析

请您先登陆,再发跟帖!