すなわち、ZFCに連続体仮説を付け加えた体系もZFCに連続体仮説の否定を付け加えた体系も、いずれも(ZFCが無矛盾ならば)無矛盾である。
若要加一公设以保证每一序数必有其不可达基数（i.e.不可达基数公理），则ZFC系统会被转为ZFCU系统。