Het irreducibiliteitsbewijsꜛ
Irreducibilteit kan op verschillende manieren aangetoond worden. Zo kan men proberen alle padenꜛ af te lopen. Dit is enkel doenlijk als het aantal paden eindig en niet te groot is. Soms maakt het daarbij uit of men van de ene of van de andere kant begint. De vraag of ik van Amserdam naar Nes kan wandelen is veel gemakkelijker (negatief) te beantwoorden door te kijken naar alle mogelijke trajecten die in Nes eindigen dan door alle mogelijke wandelingen die in Amsterdam beginnen na te gaan.
((Soms is het mogelijk paden met klassen tegelijk te beschouwen, en verschillende klassen apart te behandelen.))
Een correcte reductie middels een definitie leidt tot analytische waarheden: Die vrijgezel is ongetrouwd. Als de resulterende beweringen niet analytisch waar zijn is er dus geen sprake van een correcte reductie. Dat wil dan nog niet zeggen dat zo'n reductie onmogelijk is, maar als duidelijk is dat iedere resulterende bewering synthetisch is bewijst dat wel irreducibiliteit.
Zo is duidelijk iedere bewering van het type „X is ethisch” synthetisch — we kunnen altijd zinvol vragen „Is dat wel zo?”. ((Voltooien. Naturalistische drogredenꜛ. Ook qualia, betekenis, enz. blijken zo irreducibel.))
X is prieur is aan Y ⇒ X irreducibel tot Y.