EDB — 26H

↑ ← → ↓

View

Hypothesis 27

[26H] We will study an order relation $\leq$ on $ℕ$ (not necessarily total) such that

\begin{aligned} (1) & \forall x \in ℕ, & (0 \leq x), \\ (2) & \forall x, y \in ℕ, & (x < S y) ⟺ (x \leq y); \end{aligned}

where as usual

x < y ≐ (x \leq y) \land (x \neq y) .

Download PDF

Authors: "Mennucci , Andrea C. G." .

Bibliography — Book index

Managing blob in: Multiple languages

This content is available in: Italian English