master as of 4-Feb-2014
Derive axiom 1 of 23 (ax-cnex) of the real numbers from set theory