有理数减法法则的实质体现了数学中的什么数学思想?