[FOM] Why would one prefer ZFC to ZC?

Harvey Friedman friedman at math.ohio-state.edu
Tue Jan 26 20:21:09 EST 2010

On Jan 26, 2010, at 5:09 PM, Jeremy Bem wrote:

> Why would someone prefer ZFC? [over ZC)

One reason to consider:

THEOREM. Every Borel set in the Euclidean plane = RxR, symmetric about  
the line y = x, contains or is disjoint from the graph of a Borel  
function from R into R.

The above theorem is provable in ZFC but not in ZC.

Harvey Friedman 

More information about the FOM mailing list