Ipotesi
27
[26H] Studieremo una relazione d’ordine (possibilmente parziale) \(≤\) su \(ℕ\) tale che
\begin{align} ∀ x ∈ℕ , & (0≤ x) \quad , \label{eq:caratt_ le_ N_ 0} \\ ∀ x,y ∈ℕ , & (x{\lt} Sy) \iff (x ≤ y ) \quad ; \label{eq:caratt_ le_ N} \end{align}
dove (come al solito)
\[ x{\lt}y ≐ (x≤ y)∧ (x≠ y)\quad . \]