Information related to Reduzibilitätsaxiom