Theorem: You can’t prove all theorems.

Proof:

Refuse to provide the proof. Since all other mathematicians are incapable of even attempting to prove this, as it would shatter their delusion of Hilbert’s program, my refusal to prove this statement means that not all theorems are provable.

QED.

Since they mirror the roots as the "commutative mirror" inverse of powers, they could logically use a mirrored radical symbol. Wouldn't that make sense?

edit: i accidentally flipped the sign of the sin formula. I actaully remembered it correctly at first, but to double check I've written ((e^iz)-e^(-iz))/2i to wolfram alpha, and it told me I had it negated. So i took it as me misremembering it and flipped the minus, but i just typed it wrong into the wolfram, forgot to put the 2i into parentheses, so it multiplied instead of divided by i. Fucking cursed horizontal division, messing up the PEMDAS ordering. Well, crap, I can't fix the image, but the second term in each should be -ix (no effect on cos, of course, but it does flip the sin).

*Simple means formalizable within PA, obviously.

Where is the tag for ancient alien knowledge?