Baire's category Theorem

[the game]

Can any 1 here use cantor's little theorem & digonalisation theorem to prove baire's theorem & godel's 2nd incompleteness theorem.

[the game]

[grobber]

Could you please define all the terms you have used? For instance, I've never heard about "Cantor's little theorem", even though I'm sure I know what you mean. Anyway, it's better to have all the terms defined.

[the game]

Ok heres the cantor's little theorem:
Let A,B be sets & f:AxA->B such that all functions g:A->B are representable by f.Then every function :theta: B->B has a fixed point.

[Myth]

"all functions g:A->B are representable by f"

[grobber]

I don't know what that means either, I was wrong . However, I have found this article online. I'm going to read it (it treats precisely the subject here: Cantor's Little Theorem and his diagonalization), and, hopefully, it will shed light on this.

[the game]