Equality_of_Natural_Numbers

Let $m, n \in \N$. Then $\N_m \sim \N_n \iff m = n$ where $\sim$ denotes set equivalence and $\N_n$ denotes the set of all natural numbers less than $n$.