圏論のようにZFに納まらない対象があるのに、ZFが標準的な集合論と考えられている理由は何なのでしょうか。