Разность любых двух натуральных чисел является натуральным числом

Не факт.
Например, возьмем числа 3 и 2 - натуральные числа.
2-3=-1. -1 - действительное число.

Это неправда... если а<b то a - b < 0. а отрицательные цифры не являются натуральными