Axiom talk:Real Number as Complex Number

Is this really needed as an axiom? I believe it ought to be handled as a consequence of the fact that the complex numbers are an instance of a field extension of the reals. --prime mover (talk) 10:34, 30 October 2016 (EDT)
 * Link? --kc_kennylau (talk) 10:53, 30 October 2016 (EDT)


 * Might not exist as such. Feel free to explore. --prime mover (talk) 02:00, 31 October 2016 (EDT)


 * Closest match is Additive Group of Reals is Subgroup of Complex which I have already gone through before creating this axiom. --kc_kennylau (talk) 08:45, 31 October 2016 (EDT)

Cf. Definition:Wholly Real. &mdash; Lord_Farin (talk) 14:39, 31 October 2016 (EDT)