- E26
[26P]Prerequisiti:[26N],[01R].Per concludere il Teorema [24D] dobbiamo dimostrare [(3.185)], cioè
\[ ∀ x,y ∈ ℕ , (x ⊆ Sy∧ x≠ Sy) \iff (x ⊆ y )\quad . \]Dimostrate che se \(X\) è un insieme in cui ogni elemento è transitivo allora
\begin{equation} ∀ x,y ∈ X , (x ⊆ Sy∧ x≠ Sy) \iff (x ⊆ y ) \quad . \label{eq:caratt_ le_ ordinale} \end{equation}27Soluzione 1
EDB — 26P
View
Italian
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages