逻辑学和数学中的必要条件是不是矛盾啊?