Soweit ich weiss, bedeutet wohldefiniert etwas viel Allgemeineres. Mein Vorschlag wäre, dass wohldefiniert etwas wie Existenz und logische Widerspruchsfreiheit ist. Eigentlich ist WD soetwas wie ein psychologischer Begriff: Eine Definition ist so kompliziert, dass man deren Widerspruchsfreiheit nicht auf anhieb erkennt und deshalb beweisen muss. Beispiel: Das Objekt A ist rot und nicht-rot. "Dann existiert das Objekt A nicht und ist nicht wohldefiniert." Etwas subtileres Beispiel: "Die Funktion bildet eine reelle Zahl auf die kleinste Primzahl ab, die größer ist als diese Zahl." Dann muss man zeigen, dass wohldefiniert ist in dem Sinne, dass es eine Funktion ist und zu jeder reellen Zahl einen Funktionswert liefert. Zu zeigen ist dann unter anderem, dass es unendlich viele Primzahlen gibt, da unbeschränkt ist. -- Zylinder 21:18, 10. Feb 2006 (CET)