Kurt Godel is supposed to have formulated two famous theorems (strictly speaking, a theorem and its corollary) concerning the completeness of mathematics. Or using mathematics to prove itself.
Take a look here, for details ::
An extension to the above (created by me), would be :: "Can I say if I am insane ?" (maybe I am already insane).