Metamath Proof Explorer
Description: _i is a complex number. Axiom 3 of 22 for real and complex numbers,
justified by Theorem axicn . (Contributed by NM, 1Mar1995)


Ref 
Expression 

Assertion 
axicn 
$${\u22a2}\mathrm{i}\in \u2102$$ 
Detailed syntax breakdown
Step 
Hyp 
Ref 
Expression 
0 

ci 
$${class}\mathrm{i}$$ 
1 

cc 
$${class}\u2102$$ 
2 
0 1

wcel 
$${wff}\mathrm{i}\in \u2102$$ 