A Pure Logical Proof of the Zhu-Liang Exponential Function and Euler's Formula Recursive Element Theorem | Synapse