需要嗎？數學知識體系包含定義和原理（代數運演算法則和運算律以及定理，幾何定理和公理）。定義是規定，要合情合理，不要證明。定理需要證明，有的是邏輯證明，有的是合情推理。負負得正屬於運演算法則，符合代數規律，不是要證明的

首先非常感謝在這裡能為你解答這個問題，讓我帶領你們一起走進這個問題，現在讓我們一起探討一下。

負負得正，實際上是一個邏輯問題，也就是我們經常說的“兩個否定達到一個肯定”。

例如 我不是沒有去看他

這句話就等於 我去看他了。

再如 我不是沒有困難

就等於 我有困難。

負負得正或者雙否定等於肯定是經常用於寫作和邏輯推理中的。

這裡需要注意個非常重要的提示，雖然雙否定等於肯定，但是在表達的時候雙否定具有強烈的強調語氣，其表達的力度是遠遠大於普通的肯定語氣的，同時也需要高超的語言表達技巧，如果表達不到位，反而會弄巧成拙。

我們也經常用【不無】來表達雙否定，達到負負得正的效果，例如

他的生活中不無樂趣。

這句話就等於說，她的生活中有樂趣。

再如 他的作品中不無亮點。

這句話就等於說，他的作品還是有一些亮點的。

在以上的分享關於這個問題的解答都是個人的意見與建議，我希望我分享的這個問題的解答能夠幫助到大家。