Abbreviation or expression for ‘we will prove that’ [closed]

In German mathematics, the expression ‘Zu zeigen’ exists, which translates to ‘to show’. It is used at the beginning of proofs (or the answers to exercises) to state what exactly will be shown in the following paragraph(s), for example:

Z.z.: Für jedes a,b reell existiert ein c sodass a+b=c.

‘Zu zeigen’ is often abbreviated as ‘Z.z.’, even Latex code exists to implement a nice ‘zu zeigen’ in one’s proofs.

My question is whether a similar short statement, ideally with an accompanying abbreviation, exists in English.

-

closed as too localized by J.R., tchrist, MετάEd, Daniel, JSBձոգչOct 30 '12 at 13:22

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center. If this question can be reworded to fit the rules in the help center, please edit the question.

In principle, QED that which must be proven should fit the bill, but in practice this invariably appears after the proof, not before. Writers generally just use something along the lines of we will show that... before the proof. –  FumbleFingers Oct 28 '12 at 17:22
To Prove: For every real a,b there exists a c such that a+b=c. Or simply Theorem:, abbr Thm:. –  John Lawler Oct 28 '12 at 17:24
I'd say To be proven: –  Mr Lister Oct 28 '12 at 21:02
@FumbleFingers QED is quod erat demonstrandum - literally, "which was to be demonstrated", so it belongs at the end. At the top you'd put simply demonstrandum, "the thing to be demonstrated". –  StoneyB Oct 29 '12 at 3:07
@JorgeCampos I usually use $\mathrm{Z\kern-.3em\raise-0.5ex\hbox{Z}}$, stolen somewhere from the web, but I cannot find the original source at the moment. –  Claudius Nov 7 '12 at 19:36

I have seen To show: used far more frequently than To prove:, at least in textbook proof exercises. I haven't seen either of them abbreviated, except for leaving out the colon. (Leaving out the colon is a minor mistake.) Occasionally the inference symbol, ⊢, is used by itself to introduce items to be proved. More properly it is a relational operator, such that x ⊢ y means y is derivable from x.