IMHO fehlt dem Begriff wohldefinert hier der Bezug zum Axiomensystem als Bezugsrahmen der Definition. Die Eindeutigkeit ist IMHO das nachrangige Kriterium. Beispiel - natürliche Zahlen und Peano-Axiome. Formal kann man die Definition "0 := 1" treffen. Diese steht jedoch im Widerspruch zu den Axiomen des (implizit) referenzierten mathematischen Systems. Die Eindeutigkeit ist IMHO sekundär, da "zu beliebige" Definitionen über die Mehrdeutigkeit entweder den Nachweis der Widerspruchsfreiheit verhindern, oder gar Widersprüchliche Aussagen zulassen. Der Abschnitt Wohldefiniertheit#Vollständigkeit_und_Widerspruchsfreiheit ist IMHO treffender. Zudem ist das Beispiel des Definitionsbereiches einer Funktion aus der "Schule" bekannt und treffend. Konkret ist mein Vorschlag ist diesen Abschnitt nach Vorne zu verlagern und im Kopf des Artikels das Kriterium der Widerspruchsfreiheit zu nennen. -- H.-Dirk Schmitt 11:38, 20. Jun. 2022 (CEST)