Description: Define the set of complex numbers. The 23 axioms for complex numbers start at axresscn . (Contributed by NM, 22-Feb-1996) (New usage is discouraged.)