Category:Inequality of Natural Numbers is Provable

From ProofWiki
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.