The standard axiomatization of set theory known as ZFC provides maybe the most widely accepted foundation for mathematics. But there are natural mathematical statements, such as Cantor's continuum hypothesis (CH), that can ...