Oreducerbarhet är ett begrepp som beskriver egenskapen hos något – exempelvis ett system, en matematisk funktion eller ett bevis – att inte kunna förenklas eller brytas ned i mindre, självständiga beståndsdelar utan att förlora sin väsentliga karaktär eller funktion. Det innebär att den aktuella enh.