# 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.

-
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
+1 for @JohnLawler's Theorem. Here are some templates. –  coleopterist Oct 28 '12 at 17:40
I'd say To be proven: –  Mr Lister Oct 28 '12 at 21:02
@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.