普段から論理式を使っとる訳のうけぇ推敲は頼むわ｡
おどれがズル(故意ミスリード改竄)するか否かは数学者のプライド次第じゃな｡
今すぐKingOfUniverseに聞いとくが聞くんはズル(カンニング)じゃけぇ自粛｡

複素指数関数の導入
(∀x∈R)&(∀y∈R);{e^z:=(e^x)*cis(y)}
∵ cis(θ)=cos(θ)+i*sin(θ) by The OXFORD MINIDICTIONARY OF MATHEMATICS
して、ドモルガン云々、複素対数導入云々を経て

複素冪の導入
(z∈C)&(z≠0)&(a∈C);[z^a:=e^{a*ln(z)}]

案外 cis(θ) いう記法は知られとらんのじゃな｡