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