逻辑的一个最基本规则，那就是只证明有，不证明无。也就是说，有是可以证明的，没有是无法证明的，也是不需要证明的。说没有，说不存在，是不需要证明的，说有，说存在才需要证明。