Category:Inequality of Natural Numbers is Provable
Jump to navigation
Jump to search
This category contains pages concerning Inequality of Natural Numbers is Provable:
Let $x, y \in \N$ be natural numbers.
Suppose $x \ne y$.
Let $\sqbrk a$ denote the unary representation of $a \in \N$.
Then $\sqbrk x \ne \sqbrk y$ is a theorem of minimal arithmetic.
Pages in category "Inequality of Natural Numbers is Provable"
The following 2 pages are in this category, out of 2 total.