Post #1593385

@Eigenraum @holothuroid @Harald Noch eine Klarstellung, nur für den Fall, dass hier das Missverständnis liegen sollte: Wenn in der theoretischen Informatik die Frage gestellt wird, ob die Mitgliedschaft in einer Menge entscheidbar ist oder nicht, dann geht es um Mengen im mathematischen Sinn, nicht um (typischerweise endliche) Instanzen irgendeines "Set"-Datentyps.