- E26
[26P]Prerequisites:[26N],[01R].To assert the Theorem [24D] we have to prove [(3.185)], that is
\[ ∀ x,y ∈ ℕ , (x ⊆ Sy∧ x≠ Sy) \iff (x ⊆ y )\quad . \]Prove that if \(X\) is a set where each element is transitive
\begin{equation} ∀ x,y ∈ X , (x ⊆ Sy∧ x≠ Sy) \iff (x ⊆ y ) \quad . \label{eq:caratt_ le_ ordinale} \end{equation}27Solution 1
EDB — 26P
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages