From Uncyclopedia, the content-free encyclopedia

Revision as of 22:53, September 29, 2012 by (talk)

Jump to: navigation, search
Proof of God

A proof is a concept commonly used in the treatment of mathematics, philosophy and taxidermy. One can measure the proof by taking twice the concentration of alcohol by volume at 15.5 degrees celsius.

Please note that as Proof has been shot dead, all information below has been rendered obsolete.

Methods of proof

There are several methods of proof which are commonly used:

Proof by Revenge

"2+2=5" "no it doesn't" "REVENGE!"

Proof by Adding a Constant

2 = 1 if we add a constant C such that 2 = 1 + C.

Proof by Multiplicative Identity Additive Identity

Multiply both expressions by zero, e.g.,

1 = 2
1 × 0 = 2 × 0
0 = 0

Since the final statement is true, so is the first.

See also Proof by Pedantry.

Proof by Altering (or Destroying) the Original Premise (or Evidence)

A = 1 and B = 1 and A + B = 3
[Long list of confusing statements]
[Somewhere down the line, stating B = 2 and covering up the previous definition]
[Long list of other statements]
A + B = 3

Works best over long period of time.

Proof by Analogy

Draw a poor analogy. Say you have two cows. But one is a bull. After the proper gestation period, 1 + 1 = 3.

Proof by Anti-proof

If there is proof that has yet to be accounted for in your opponent's argument, then it is wholly discreditable and thus proof of your own concept. It also works if you claim to be unable to comprehend their proof. Example:

  • I can't see how a flagellum can evolve by itself, therefore the theory of evolution is incorrect, therefore someone must have put them together, therefore convert now!

Note: This generally works equally well in both directions:

  • I can't see how someone could have put a flagellum together, therefore the theory of Creation is incorrect, therefore it must have evolved by itself, therefore Let's Party!

Proof by August

Since August is such a good time of year, no one will disagree with a proof published then, and therefore it is true. Of course, the converse is also true, i.e., January is crap, and all the logic in the world will not prove your statement then.

Proof by Assumption

An offshoot of Proof by Induction, one may assume the result is true. Therefore, it is true.

Proof by Axiom

Assert an axiom A such that the proposition P you are trying to prove is true. Thus, any statement S contradicting P is false, so P is true. Q.E.D.

Proof by Belief

"I believe assertion A to hold, therefore it does. Q.E.D."

Proof by Bijection

This is a method of proof made famous by P. T. Johnstone. Start with a completely irrelevant fact. Construct a bijection from the irrelevant fact to the thing you are trying to prove. Talk about rings for a few minutes, but make sure you keep their meaning a secret. When the audience are all confused, write Q.E.D. and call it trivial. Example:

  • To prove the Chinese Remainder Theorem, observe that if p divides q, we have a well-defined function. Z/qZZ/qZ is a bijection. Since f is a homomorphism of rings, φ(mn) = φ(m) × φ(n) whenever (n, m) = 1. Using IEP on the hyperfield, there is a unique integer x, modulo mn, satifying x = a (mod m) and x = b (mod n). Thus, Q.E.D., and we can see it is trivial.

Proof by B.O.

This method is a fruitful attack on a wide range of problems: don't have a shower for several weeks and play lots of sports.

Proof by Calling the Other Guy an Idiot

"I used to respect his views, but by stating this opinion, he has now proven himself to be an idiot." Q.E.D.

Proof by Arbitration

Often times in mathematics, it is useful to create abitrary "Where in the hell did that come from?" type theorems which are designed to make the reader become so confused that the proof passes as sound reasoning.

Proof by Faulty Logic

Math professors and logicians sometimes rely on their own intuition to prove important mathematical theorems. The following is an especially important theorem which opened up the multi-disciplinary field of YouTube.

  • Let k and l be the two infinities: mainly, the negative infinity and the positive infinity. Then, there exists a real number c, such that k and l cease to exist. Such a s is zero. We conclude that the zero infinity exists and is in between the postive and negative infinities. This theorem opens up many important ideas. For example, primitive logic would dictate that the square root of infinity, r, is a number less than r.

"I proved, therefore I am proof." – Isaac Newton, 1678, American Idol.

Proof by Canada

Like other proofs, but replace Q.E.D. with Z.E.D. Best when submitted with a bowl of Kraft Dinner.

Proof by Cantona

Conduct the proof in a confident manner in which you are convinced in what you are saying is correct, but which is absolute bollocks – and try to involve seagulls in some way. Example:

  • If sin x < x … for all x > 0 … and when … [pause to have a sip of water] … the fisherman … throws sardines off the back of the trawler … and x > 0 … then … you can expect the seagulls to follow … and so sin x = 0 for all x.

Proof by Cases


Proof by Chocolate

By writing what seems to be an extensive proof and then smearing chocolate to stain the most crucial parts, the reader will assume that the proof is correct so as not to appear to be a fool.

Proof by Complexity

Remember, something is not true when its proof has been verified, it is true as long as it has not been disproved. For this reason, the best strategy is to limit as much as possible the number of people with the needed competence to understand your proof.

Be sure to include very complex elements in your proof. Infinite numbers of dimensions, hypercomplex numbers, indeterminate forms, graphs, references to very old books/movies/bands that almost nobody knows, quantum physics, modal logic, and chess opening theory are to be included in the thesis. Make sentences in Latin, Ancient Greek, Sanskrit, Ithkuil, and invent languages.

Refer to the Cumbersome Notation to make it more complex.

Again, the goal: nobody must understand, and this way, nobody can disprove you.

Proof by (a Broad) Consensus

If enough people believe something to be true, then it must be so. For even more emphatic proof, one can use the similar Proof by a Broad Consensus.

Either kind of proof can be combined with other types of proof (such as Proof by Repetition and Proof by Intimidation; e.g., "A Broad Consensus of Scientists …") when required.

Proof by Contradiction (reductio ad absurdum)

Consider p.

  1. Assume the opposite: "not p".
  2. Bla, bla, bla …
  3.  ???
  4. … which leads to "not p" being false, which contradicts assumption (1). Whatever you say in (2) and (3), (4) will make p true.

Useful to support other proofs.

Proof by Coolness (ad coolidum)

Let C be the coolness function

  1. C(2 + 2 = 4) < C(2 + 2 = 5)
  2. Therefore, 2 + 2 = 5


Let ACB be A claims B.

  1. XCP
  2. YCQ
  3. C(Y) > C(X)
  4. Therefore Q unless there is Z, C(Z) > C(Y) and (ZC¬Q)


Let H be the previous demonstration, N nothingness, and M me.

  1. MCH
  2. C(M) < C(N)
  3. Therefore ¬H

and all this is false since nothingness is cooler.


Let J be previous counter-argument and K be HVJ.

  1. Substitude K for H in J
  2. Therefore ¬K
  3. ¬K implies ¬J and ¬H
  4. ¬J implies H
  5. Therefore H and ¬H
  6. Therefore non-contradiction is false ad coolidum
  7. Therefore C(Aristotle) < C(M)

Proof by Cumbersome Notation

Best done with access to at least four alphabets and special symbols. Matrices, Tensors, Lie algebra and the Kronecker-Weyl Theorem are also well-suited.

Proof by Default

The proposition is true due to the lack of a counterexample. For when you know you are right and don't give a shit about what others may think of you.

Proof by Definition

Define something as such that the problem falls into grade one math, e.g., "I am, therefore I am".

Proof by Delegation

"The general result is left as an exercise to the reader."

Proof by Dessert

The proof is in the pudding.

Philosophers consider this to be the tastiest possible proof.

Proof by Diagram

Reducing problems to diagrams with lots of arrows. Particularly common in category theory.

Proof by Disability

Proof conducted by the principle of not drawing attention to somebody's disability – like a speech impediment for oral proofs, or a severed tendon in the arm for written proofs.

Proof by Disgust

State two alternatives and explain how one is disgusting. The other is therefore obviously right and true.


  • Do we come from God or from monkeys? Monkeys are disgusting. Ergo, God made Adam.
  • Is euthanasia right or wrong? Dogs get euthanasia. Dogs smell and lick their butts. Ergo, euthanasia is wrong.
  • Is cannibalism right or wrong? Eeew, blood! Ergo, cannibalism is wrong.

Proof by Dissent

If there is a consensus on a topic, and you disagree, then you are right because people are stupid. See global warming sceptics, creationist, tobacco companies, etc., for application of this proof.

Proof by Distraction

Be sure to provide some distraction while you go on with your proof, e.g., some third-party announces, a fire alarm (a fake one would do, too) or the end of the universe. You could also exclaim, "Look! A distraction!", meanwhile pointing towards the nearest brick wall. Be sure to wipe the blackboard before the distraction is presumably over so you have the whole board for your final conclusion.

Don't be intimidated if the distraction takes longer than planned – simply head over to the next proof.

An example is given below.

  1. Look behind you!
  2. … and proves the existence of an answer for 2 + 2.
  3. Look! A three-headed monkey over there!
  4. … leaves 5 as the only result of 2 + 2.
  5. Therefore 2 + 2 = 5. Q.E.D.

This is related to the classic Proof by "Look, a naked woman!"

Proof by Elephant

Q: For all rectangles, prove diagonals are bisectors. A: None: there is an elephant in the way!

Proof by Engineer's Induction

See also: Proof by Induction.

Suppose P(n) is a statement.

  1. Prove true for P(1).
  2. Prove true for P(2).
  3. Prove true for P(3).
  4. Therefore P(n) is true for all n \in \mathbb{N}.

Proof by Exhaustion

This method of proof requires all possible values of the expression to be evaluated and due to the infinite length of the proof, can be used to prove almost anything since the reader will either get bored whilst reading and skip to the conclusion or get hopelessly lost and thus convinced that the proof is concrete.

Proof by Eyeballing

Quantities that look similar are indeed the same. Often drawing random pictures will aid with this process.

Corollary: If it looks like a duck and acts like a duck, then it must be a duck.

Proof by Flutterby Effect

Proofs to the contrary that you can (and do) vigorously and emphatically ignore therefore you don't know about, don't exist. Ergo, they can't and don't apply.

Corollary: If it looks like a duck, acts like a duck and quacks like a duck, but I didn't see it (and hey, did you know my Mom ruptured my eardrums), then it's maybe … an aadvark?

Proof by Gun

A special case of Proof by Intimidation: "I have a gun and you don't. I'm right, you're wrong. Repeat after me: Q.E.D."

Proof by Global Warming

If it doesn't contribute to Global Warming, it is null and void.

Proof by God

Also a special case of proof. "Don't question my religion, or you are supremely insensitive and God will smite you." Similar to Proof by Religion, but sanctioned by George W. Bush.

Proof by Hand Waving

See main article: Hand waving.

Commonly used in calculus, hand waving dispenses with the pointless notion that a proof need be rigorous.

Proof by Hitler Analogy

See also: Proof by Intimidation, Usenet.

The opposite of Proof by Wikipedia. If Hitler said,

"I like cute kittens."

then – automatically – cute kittens are evil, and liking them proves that you caused everything that's wrong in the world for the last 50 years.

Simple Proof by Hubris

I exist, therefore I am correct.

Proof by Hypnosis

Try to relate your proof to simple harmonic motion in some way and then convince people to look at a swinging pendulum.

Proof by Imitation

Make a ridiculous imitation of your opponent in a debate. Arguments cannot be seriously considered when the one who proposes them was laughed at a moment before.

Make sure to use puppets and high-pitched voices, and also have the puppet repeat "I am a X", replacing X with any minority that the audience might disregard: gay, lawyer, atheist, creationist, zoophile, paedophile … the choice is yours!

Proof by Immediate Danger

Having a fluorescent green gas gently seep into the room through the air vents will probably be beneficial to your proof.

Proof by Impartiality

If you, Y, disagree with X on issue I, you can invariably prove yourself right by the following procedure:

  1. Get on TV with X.
  2. Open with an ad hominem attack on X and then follow up by saying that God hates X for X's position on I.
  3. When X attempts to talk, interrupt him very loudly, and turn down his microphone.
  4. Remind your audience that you are impartial where I is concerned, while X is an unwitting servant of Conspiracy Z, e.g., the Liberal Media, and that therefore X is wrong. Then also remind your audience that I is binary, and since your position on I is different from X's, it must be right.
  5. That sometimes fails to prove the result on the first attempt, but by repeatedly attacking figures X1, X2, …, Xn – and by proving furthermore (possibly using Proof by Engineer's Induction) that Xn is wrong implies Xn+1 is wrong, and by demonstrating that you cannot be an Xi because your stance on I differs due to a change in position i, demonstrating that while the set of Xi's is countable, the set containing you is uncountable by the diagonal argument, and from there one can apply Proof by Consensus, as your set is infinitely bigger – you can prove yourself right.

A noted master of the technique is Bill O'Reilly.

Proof by Induction

Proof by Induction claims that

\mathcal{E} = -\frac{\mathrm{d}\Phi_B}{\mathrm{d}t}

where \mathcal{E} is the number of pages used to contain the proof and \Phi_B is the time required to prove something, relative to the trivial case.

For the common, but special case of generalising the proof,

\mathcal{E} = - N\frac{\mathrm{d}\Phi_B}{\mathrm{d}t}

where \mathcal{E} is the number of pages used to contain the proof, N is the number of things which are being proved and \Phi_B is the time required to prove something, relative to the trivial case.

The actual method of constructing the proof is irrelevant.

Proof by Intimidation

One of the principal methods used to prove mathematical statements. Remember, even if your achievements have nothing to do with the topic, you're still right. Also, if you spell even slightly better, make less typos, or use better grammar, you've got even more proof. The exact statement of proof by intimidation is given below.

Suppose a mathematician F is at a position n in the following hierarchy:

  1. Fields Medal winner
  2. Tenured Professor
  3. Non-tenured professor
  4. Post-doc
  5. Graduate Student
  6. Undergraduate Student

If a second mathematician G is at any position p such that p < n, then any statement S given to F by G is true.

This is a general offshoot of Liouville's Theorem, the proof of which is left to the reader (see Proof by Omission).

Hint: Use the hyperensemble theory and the Slim Shady Algorithm.

Alternatively: Theorem 3.6. All zeros of the Riemann Zeta function lie on the critical line (have a real component of 1/2).

Proof: "… trivial …"

Proof by Irrelevant References

A proof that is backed up by citations that may or may not contain a proof of the assertion. This includes references to documents that don't exist. (Cf. Schott, Wiggenmeyer & Pratt, Annals of Veterninary Medicine and Modern Domestic Plumbing, vol. 164, Jul 1983.)

Proof by Jack Bauer

If Jack Bauer says something is true, then it is. No ifs, ands, or buts about it. End of discussion.

This is why, for example, torture is good.

Proof by Lecturer

It's true because my lecturer said it was true. QED.

Proof by Liar

If liar say, that he is a liar, he lies, because liars always lie, so he is not liar.

Simple, ain't it?

Proof by Kim G. S. Øyhus' Inference

  1. A \leftarrow B and !B.
  2. Ergo, P(A \mid {!B}) \leq P(A).
  3. Therefore I'm right and you're wrong.

Proof by LSD

Wow! That is sooo real, man!


Proof by Margin Too Small

"I have discovered a truly marvelous proof of this, which this margin is too narrow to contain."

Proof by Mathematical Interpretive Dance

An archaic form of Proof by Hand Waving, it is one of the most popular forms of proof in lectures and seminars in most universities today. See Mathematical Interpretive Dance.

Proof by Misunderstanding

"2 is equal to 3 for sufficiently large values of 2."

Proof by Mockery

Let the other state his claim in detail, wait he lists and explain all his argument and, at any time, explose in laughter and ask, "No, are you serious? That must be a joke. You can't really think that, do you?" Then you leave the debate in laughter and shout, "If you all want to listen to this parody of argument, I shan't prevent you!"

Proof by Narcotics Abuse

Spike the drinks/food of all people attending with physcoaltering or hallucinogenic chemicals.

Proof by Obama

Yes, we can.

Proof by Obfuscation

A long, plotless sequence of true and/or meaningless syntactically related statements.

Proof by Omission

Make it easier on yourself by leaving it up to the reader. After all, if you can figure it out, surely they can. Examples:

  • The reader may easily supply the details.
  • The other 253 cases are analogous.
  • The proof is left as an exercise for the reader.
  • The proof is left as an exercise for the marker (guaranteed to work in an exam).

Proof by Ostention


2 + 2 = 5


Proof by Outside the Scope

All the non-trivial parts of the proof are left out, stating that proving them is outside the scope of the book.

Proof by Overwhelming Errors

A proof in which there are so many errors that the reader can't tell whether the conclusion is proved or not, and so is forced to accept the claims of the writer. Most elegant when the number of errors is even, thus leaving open the possibility that all the errors exactly cancel each other out.

Proof by Ødemarksism

See also: Proof by Consensus.
  1. The majority thinks P.
  2. Therefore P is true (and dissenters should be silenced in order to reduce conflict from diversity).

The silencing of dissenters can be made easier with convincing arguments.

Proof by Penis Size

My dick's much bigger than yours, so I'm right.

Corollary: You don't have a penis, so I'm right.

Proof by Pornography

Include pornographic pictures or videos in the proof – preferably playing a porno flick exactly to the side of where you are conducting the proof. Works best if you pretend to be oblivious to the porn yourself and act as if nothing is unusual.

Proof by Process of Elimination




so 2 + 2 = 5


Proof by Promiscuity

I get laid much more than you, so I'm right.

Proof by Proving

Well proven is the proof that all proofs need not be unproven in order to be proven to be proofs. But where is the real proof of this? A proof, after all, cannot be a good proof until it has been proven. Right?

Proof by Question

If you are asking me to prove something, it must be true. So why bother asking?

Proof by Realization

A form of proof where something is proved by realizing that is true. Therefore, the proof holds.

Proof by Reduction

Show that the theorem you are attempting to prove is equivalent to the trivial problem of not getting laid. Particularly useful in axiomatic set theory.

Proof by Reduction to the Wrong Problem

Why prove this theorem when you can show it's identical to some other, already proven problem? Plus a few additional steps, of course …

  • Example: "To prove the four colour theorem, we reduce it to the halting problem."

Proof by Religion

Related to Proof by Belief, this method of attacking a problem involves the principle of mathematical freedom of expression by asserting that the proof is part of your religion, and then accusing all dissenters of religiously persecuting you, due to their stupidity of not accepting your obviously correct and logical proof. See also Proof by God.

Proof by Repetition

AKA the Socratic method.

If you say something is true enough times, then it is true. Repeatedly asserting something to be true makes it so. To repeat many times and at length the veracity of a given proposition adds to the general conviction that such a proposition might come to be truthful. Also, if you say something is true enough times, then it is true. Let n be the times any given proposition p was stated, preferably in different forms and ways, but not necessarily so. Then it comes to pass that the higher n comes to be, the more truth-content t it possesses. Recency bias and fear of ostracism will make people believe almost anything that is said enough times. If something has been said to be true again and again, it must definitely be true, beyond any shadow of doubt. The very fact that something is stated endlessly is enough for any reasonable person to believe it. And, finally, if you say something is true enough times, then it is true. Q.E.D.

Exactly how many times one needs to repeat the statement for it to be true, is debated widely in academic circles. Generally, the point is reached when those around die through boredom.

  • E.g., let A = B. Since A = B, and B = A, and A = B, and A = B, and A = B, and B = A, and A = B, and A = B, then A = B.

Proof by Restriction

If you prove your claim for one case, and make sure to restrict yourself to this one, you thus avoid any case that could compromise you. You can hope that people won't notice the omission.

Example: Prove the four-color theorem.

  • Take a map of only one region. Only 1 color is needed to color it, and 1 ≤ 4. End of the proof.

If someone questions the completeness of the proof, others methods of proofs can be used.

Proof by the Rovdistic Principle

See also: Proof by Belief.
  1. I like to think that 2 + 2 = 5.
  2. Therefore, 2 + 2 = 5. Q.E.D.

Proof by Russian Reversal

In Soviet Russia, proof gives YOU!

Proof by Self-evidence

Claim something and tell how self-evident it is: you are right!

Proof by Semantics

Proof by semantics is simple to perform and best demonstrated by example. Using this method, I will prove the famous Riemann Hypothesis as follows:

We seek to prove that the Riemann function defined off of the critical line has no non-trivial zeroes. It is known that all non-trivial zeroes lie in the region with 0 < Re(z) < 1, so we need not concern ourselves with numbers with negative real parts. The Riemann zeta function is defined for Re(z) > 1 by sum over k of 1/kz, which can be written 1 + sum over k from 2 of 1/kz.

Consider the group (C, +). There is a trivial action theta from this group to itself by addition. Hence, by applying theta and using the fact that it is trivial, we can conclude that sum (1/kz) over k from 2 is the identity element 0. Hence, the Riemann zeta function for Re(z) > 0 is simply the constant function 1. This has an obvious analytic continuation to Re(z) > 0 minus the critical line, namely that zeta(z) = 1 for all z in the domain.

Hence, zeta(z) is not equal to zero anywhere with Re(z) > 0 and Re(z) not equal to 1/2. Q.E.D.

Observe how we used the power of the homonyms "trivial" meaning ease of proof and "trivial" as in "the trivial action" to produce a brief and elegant proof of a classical mathematical problem.

Proof by Semitics

If it happened to the Jews and has been confirmed by the state of Israel, then it must be true.

Proof by Staring

x2 − 1 = (x + 1)(x − 1)

This becomes obvious after you stare at it for a while and the symbols all blur together.

Proof by Substitution

One may substitute any arbitrary value for any variable to prove something. Example:

  1. Assume that 2 = P.
  2. Substitute 3 for P.
  3. Therefore, 2 = 3. Q.E.D.

Proof by Superior IQ

See also: Proof by Intimidation.

If your IQ is greater than that of the other person in the argument, you are right and what you say is proven.

Proof by Surprise

The proof is accomplished by stating completely random and arbitrary facts that have nothing to do with the topic at hand, and then using these facts to mysteriously conclude the proof by appealing to the Axiom of Surprise. The most known user of this style of proof is Walter Rudin in Principles of Mathematical Analysis. To quote an example:

Theorem: If p>0 and \alpha is real, then \lim\limits_{n \to \infty}\frac{n^\alpha}{(1+p)^n}=0.

Proof: Let k be an integer such that k>\alpha, k>0. For n>2k, (1+p)^n>{n \choose k}p^k = \frac{n(n-1)\cdots(n-k+1)}{k!}p^k > \frac{n^kp^k}{2^kk!}. Hence, 0 < \frac{n^\alpha}{(1+p)^n} < \frac{2^kk!}{p^k}n^{\alpha-k}. Since \alpha-k < 0, n^{\alpha-k} \to 0. Q.E.D.

Walter Rudin, Principles of Mathematical Analysis, 3rd Edition, p. 58, middle.

Proof by Tarantino


Proof by Tension

Try to up the tension in the room by throwing in phrases like "I found my wife cheating on me … with another woman", or "I wonder if anybody would care if I slit my wrists tomorrow". The more awkward the situation you can make, the better.

Proof by TeX

The proof is typeset using TeX or LaTeX, preferably using one of the AMS or ACM stylesheets. When laid out so professionally, it can't possibly have any flaws.

Proof by … Then a Miracle Happens

Similar to Proof by Hand Waving, but without the need to wave your hand.

Example: Prove that \ln(x) > 5\ln(y).

  1. \ln(x) > 5\ln(y)
  2. \frac{\ln(x)}{\ln(y)} > 5
  3. … then a miracle happens.
  4. \frac{\ln(x)}{\ln(y)} = 17. Q.E.D.

Proof by Triviality

The Proof of this theorem/result is obvious, and hence left as an exercise for the reader.

Proof by Uncyclopedia

Uncyclopedia is the greatest storehouse of human knowledge that has ever existed. Therefore, citing any fact, quote or reference from Uncyclopedia will let your readers know that you are no intellectual lightweight. Because of Uncyclopedia's steadfast adherence to accuracy, any proof with an Uncyclopedia reference will defeat any and all detractors.

(Hint: In any proof, limit your use of Oscar Wilde quotes to a maximum of five.)

Proof by Volume

If you shout something really, really loud often enough, it will be accepted as true.

Also, if the proof takes up several volumes, then any reader will get bored and go do something more fun, like math.

Proof by War

My guns are much bigger than yours, therefore I'm right.

See also Proof by Penis Size.

Proof by Wolfram Alpha

If Wolfram Alpha says it is true, then it is true.

Proof by Wikipedia

If the Wikipedia website states that something is true, it must be true. Therefore, to use this proof method, simply edit Wikipedia so that it says whatever you are trying to prove is true, then cite Wikipedia for your proof.

Proof by Yoda

If stated the proof by Yoda is, then true it must be.

Proof by Your Mom

You don't believe me? Well, your mom believed me last night!

Proof by Actually Trying and Doing It the Honest W– *gunshot*

Let this be a lesson to you do-gooders.

Proof by Reading the Symbols Carefully

Proving the contrapositive theorem: Let (p→q), (¬q→¬p) be true statements. (p→q) if (and only if) (¬q→¬p).

The symbols → may also mean shooting and ¬ may also represent a gun. The symbols would then be read as this:

If statement p shoots statement q, then statement q possibly did not shoot statement p at all, because statement q is a n00b player for pointing the gun in the opposite direction of statement p.

Also, if statement q didn't shoot statement p on the right direction in time (due to n00biness), p would then shoot q.

Oh! I get it now. The power of symbol reading made the theorem sense. Therefore, the theorem is true.

The Ultimate Proof

However, despite all of these methods of proof, there is only one way of ensuring not only that you are 100% correct, but 1000 million per cent correct, and that everyone, no matter how strong or how argumentative they may be, will invariably agree with you. That, my friends, is being a girl. "I'm a girl, so there", is the line that all men dread, and no reply has been discovered which doesn't result in a slap/dumping/strop being thrown/brick being thrown/death being caused. Guys, when approached by this such form of proof, must destroy all evidence of it and hide all elements of its existence.


Some other terms one may come across when working with proofs:

Exhaustive Proof

A method of proof attempted at 3:00 A.M. the day a problem set is due, which generally seems to produce far better results at that time than when looked at in the light of day.


Q.E.D. stands for "Quebec's Electrical Distributor", commonly known as Hydro Quebec. It is commonly used to indicate where the author has given up on the proof and moved onto the next problem.

Can be substituted for the phrase "So there, you bastard!" when you need the extra bit of proof.


When handling or working with proofs, one should always wear protective gloves (preferably made of LaTeX).

The Burden of Proof

In recent years, proofs have gotten extremely heavy (see Proof by Volume, second entry). As a result, in some circles, the process of providing actual proof has been replaced by a practice known as the Burden of Proof. A piece of luggage of some kind is placed in a clear area, weighted down with lead weights approximating the hypothetical weight of the proof in question. The person who was asked to provide proof is then asked to lift this so-called "burden of proof". If he cannot, then he loses his balance and the burden of proof falls on him, which means that he has made the fatal mistake of daring to mention God on an Internet message board.

Personal tools
In other languages