Cantors erstes Diagonalargument ist ein mathematisches Beweisverfahren, mit dem man ggf. zeigen kann, dass zwei unendliche Mengen gleichmächtig sind. Entwickelt wurde dieses Verfahren von Georg Cantor. Zum Verständnis der Problematik und des Beweises ist es notwendig, die unspezifizierte Größe einer Menge durch die in der Mengenlehre formal de...