# Lobs Theorem ?

### About: cartoon guide to lÃ¶b's theorem

If the wizzard says that if he can say shit, then that saying of "shit" implies that shit actually exists ... then the wizzard has just said "shit".

Of course we can switch that around to: If i can prove that {if i prove something, then it exists } then i have proved that i can prove that thing.

I doubt that it matters whether i am the Peano Axioms or not ... that would always be the case regardless of what i am and what i can prove.

a description of the original cartoon here.

some discussion of the theorem here.

### Tags

- item 16967
- proof

### See Also

- Thought
**Superstition vs Proof**with 5 viewings related by tag "proof". - Thought
**about: hmmm ....**with 0 viewings related by tag "item 16967". - Thought
**Proof**with 0 viewings related by tag "proof".