Off topic: name of a math theorem

[pookie bear]

I'm trying to think of the name of this math theorem I read about but am not remembering what it is called, can you guys help me out.

this jist of it is that you can never prove all the properties of a section of mathematics using just that section of mathematics. I think i have butchered it horribly but hopefully someone can point me in the right direction.

[distortion]

It sounds like you are looking for Godel's Incompleteness Theorems, which state formally: "To every w-consistent recursive class k of formulas, there correspond recursive class-signs r such that neither (v Gen r) nor Neg(v Gen r) belongs to Flg(k), where v is the free variable of r" (Mathematica)

Basically, he proved that number theory contains unprovable claims.

[pookie bear]

That's the one! Thanks so much, i've been racking my brain all morning trying to remember it!