for　[利害]・・（勤務先などに）雇われて、
ex) work for a publisher　出版社に勤める　
新英和大辞典

ゲーデルの不完全性定理を理解するには
微積とか線形代数より数理論理学の知識ないと無理でしょ（健全性、完全性の概念）