- E10
[26X]If \(⪯\) is a total order on \(ℕ\) then these are equivalent
\begin{align} ∀ x,y∈ ℕ , & (x⪯ y⪯ Sx ) ⇒ (x=y∨ y=Sx)\quad ,\label{eq:caratt_ le_ N_ mid}\\ ∀ x,y ∈ℕ , & (x≺ Sy) \iff (x ⪯ y ) \quad ; \\ ∀ x,y ∈ℕ , & (x≺ y) \iff (Sx ⪯ y ) \quad . \label{eq:caratt_ le_ N_ alt} \end{align}Note the analogy with [239]
Solution 1
EDB — 26X
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages