„Diskussion:Cantors zweites Diagonalargument“ – Versionsunterschied

Soweit ich das sehen kann, die Fachsprache hat sich offenbar in der Zwischenzeit etwas verändert, wird dort die Mengemit <math>M</math> die Menge der Abbildungen von <math>\mathbb{N} \to \{ m, w\}</math> betrachtet, wobei mit <math>m</math> und <math>w</math> wohl zwei unterschiedliche Elemente gemeint sind ("irgend zwei einander ausschliessende Charaktere"). Also Folgen bzw. <math>M = \{m, w\}^\mathbb{N}</math>.

Cantor verwendet das berühmte Diagonalargument, wo diealle Folgen untereinander geschrieben werden und eine weitere Folge derart gewählt wird, so dass ihr <math>\nu</math>-tes Folgenglied vom <math>\nu</math>-ten Folgenglied der <math>\nu</math>-ten aufgeschriebenen Folge verschieden gewählt wirdist, und damit insgesamt eine bisher nicht aufgeschriebene Folge gefunden wurde.