3 ms·Proof of Euler's Identity (e^(i pi) = -1) in a tiny formal system2 points by bumbledraven 17y ago