The independence of certain set-theoretic statements from ZFC (Cohen 1963) means hierarchy non-colla...