Redirecting to Erdős cardinal