## Difference Paradox

Consider two natural numbers $n_1$ and $n_2$, out of which one is twice as large as the other. We are not told whether $n_1$ is larger or $n_2$, we can state following two propositions: PROPOSITION 1: The difference $n_1-n_2$, if $n_1 >n_2$, is different from the …