Vorlesung 4 Nerlich

Aus ProgrammingWiki
< BuK < IIm20
Archivierte Version vom 2021-04-12T13:25:43+00:00. Aktuelle Version

Formulierung S.24

"Wenn M_1 eine aufzählbare Menge ist, dann gilt nicht für alle Teilmengen M_2 \subseteq M_1, dass sie aufzählbar sind."

M_1\ \text{aufzählbar}\ \Rightarrow \neg\forall M_2 \subseteq M_1 : M_2\ \text{aufzählbar}

folglich:

\forall M_1\ \text{aufzählbar} : \exists M_2 \subseteq M_1 : M_2\ \text{nicht aufzählbar} \hspace{1cm}{\huge\unicode{x21af}}

"Wenn M_1 eine beliebige aufzählbare Menge ist, dann gilt nicht für alle Teilmengen M_2, dass sie aufzählbar sind." (lässt gleiche Folgerung zu)