EDB — 24D

↑ ← → ↓

View

Teorema 184

[24D] Consideriamo la relazione d’ordine $\subseteq$ su $ℕ$ ; allora

\begin{matrix} (1) & \forall x, y \in ℕ, (x \subseteq S y \land x \neq S y) ⟺ (x \subseteq y) . \end{matrix}

185

Questo sarà dimostrato nell’Esercizio [26P].

Download PDF

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

Bibliography — Book index

Managing blob in: Multiple languages

This content is available in: Italian English