Ich glaube nicht, dass "Widerspruchsfreiheit das führende Kriterium" der Wohldefiniertheit ist. Die Wohldefiniertheit einer Funktion als das eindeutige Ergebnis eine Funktionsspezifikation wird häufiger benötigt, z.B. insbesondere, wenn der Definitionsbereich aus Äquivalenzklassen besteht. Wichtiger (und schwieriger zu beweisen) mag sein die Widerspruchsfreiheit von Axiomensystemen. (Für mich besteht hier kein Zusammenhang zu irgendeiner Eindeutigkeit.) Insofern stehen die beiden Auffassungen des Begriffs "wohldefiniert" frei schwebend nebeneinander und haben (fast) nichts miteinander zu tun, sind auch nicht in eine Reihenfolge ihres Ranges zu bringen (weshalb ich dem Titel dieses Abschnitts widerspreche). Um das besser herauszubringen, hätte ich nichts dagegen, wenn man den Artikel in zwei Artikel aufrisse, z.B. "Wohldefiniertheit (Funktion)" und "Wohldefiniertheit (System)". Aber es mag auch noch mehr Wohldefiniertheiten geben, die zu keiner der beiden passen. – Nomen4Omen 17:13, 23. Jun. 2022 (CEST)