A Note on Boolos' Proof of the Incompleteness Theorem
We give a proof of Godel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically. 
 
 
 
Mathematics Subject Classification: 03F30.