Eine - bzw. -Menge natürlicher Zahlen heißt - bzw. -vollständig, wenn für jede andere - bzw. -Menge durch eine berechenbare Funktion auf reduzierbar ist, also gilt.
In vielen Fällen wäre mit entsprechenden Therapien und Pflegekonzepten Abhilfe möglich oder zumindest die Einschränkungen der Lebensqualität deutlich reduzierbar.
Im Falle moralischer Aussagen etwa könnte angeführt werden, dass das Fürwahrhalten derselben reduzierbar sei auf entsprechende Präferenzen, deren Existenz der metaethische Fehlertheoretiker nicht bestreitet.
Wie weiter oben gezeigt wurde, ist Religion nicht reduzierbar auf ihre Dogmatik und ihre Geschichte, sondern sie ist auch immer ein subjektives Erlebnis.