そのような基数が存在するという命題は、集合論における最も標準的な公理系であるzfcからは証明できない。