http://en.wikipedia.org/wiki/Tupper%27s_self-referential_formula
http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html
Precisando é só avisar!
http://en.wikipedia.org/wiki/Tupper%27s_self-referential_formula
http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html