Take the 2-minute tour ×
English Language & Usage Stack Exchange is a question and answer site for linguists, etymologists, and serious English language enthusiasts. It's 100% free, no registration required.

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.

share|improve this question

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
2  
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
1  
I'd say To be proven: –  Mr Lister Oct 28 '12 at 21:02
1  
@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

1 Answer 1

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.

In mathematical papers or texts, rather than in exercises, forms like “We will show that...” or “We show that...” or “We prove...” or “We have...” etc. appear, particularly in text leading up to statement and proof of theorems or lemmas. For simple items, Lemma: by itself or with a number (eg, Lemma 3.5: is a common form, and 3.7. Lemma: less common) introduces something to be proven, without more needing to be said, and the proof follows after Proof:.

share|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.