Ik zie niet in hoe dat consequent zou zijn. Is het ook inconsequent dat sin(x) wel voor alle x bestaat maar tan(x) niet? Het zijn immers net als de vierkantwortel en de derdemachtswortel functies die gerelateerd lijken. f(x)=1 bestaat wel voor x=0 terwijl g(x)=x/x dat niet doet. Mag dat dan ook niet? Het probleem dat je lijkt te hebben is dat je vindt dat beide wortelfuncties op elkaar lijken en daarom hetzelfde domein (danwel bereik) zouden moeten hebben. Dat is echter enkel gebaseerd op jouw idee van overeenkomstigheid en dat lijkt mij geen basis voor wiskunde. Het zijn twee verschillende functies.Het zou consequent zijn om dan geen resultaat te krijgen bij een wortel uit een negatief getal, ook niet als het uitstekend te bereken is zoals de derdemachtswortel van -8.
Anders gesteld: Wat is er niet consequent aan de volgende definitie?
De n-de wortel a van x (in de reeele getallen, n een positief geheel getal) is die a waarvoor geldt a^n = x. Op het moment dat er meerdere reeele getallen zijn die hieraan voldoen dan is a de waarde waarvoor geldt a>=0. Als er geen oplossing bestaat dan bestaat de wortel a niet.
Kun je een situatie verzinnen waarbij deze 'definitie' niet overeenkomt met rekenmachines?