Abstract
The following pages make form a new chapter for the book Logic and Structure.
This chapter deals with the incompleteness theorem, and contains
enough basic material for the treatment of the required notions of computability,
representability and the like.
This chapter will appear in the next edition of Logic and Structure. Comments
are welcome.
