数学逻辑,所谓“不必要”指哪方面

参考资料