== Vollständigkeit und Widerspruchsfreiheit == === Wohldefiniertheit von Mengen === Eine Menge ist wohldefiniert, wenn das Definiens für jedes beliebige Objekt eindeutig festlegt, dass es entweder Element der Menge ist oder nicht Element der Menge ist. Insbesondere werden so gewisse Formen imprädikativer Definitionen ausgeschlossen. == Einzelna...