Учебное пособие по математической логике, опирающееся на методологию Дж.Шенфилда, предназначено для достаточно быстрого введения студента в серьезную проблематику современной математической логики. В качестве сферы выражения этой проблематики выбраны две теоремы Гёделя - теорема о полноте и теорема о неполноте, сыгравшие в развитии метаматематики выдающуюся роль и вызвавшие резонанс далеко за пределами математики. Изложение доказательств этих теорем доведено до некоторого промежуточного уровня детализации, позволяющего, с одной стороны, изложить идеологию доказательства и не слишком погрешить против строгости доказательства, с другой стороны. Наконец, в конце приведены два Приложения, содержащие самостоятельные результаты исследований автора по рассматриваемой проблематике и выполненные в рамках все той же методологии Дж.Шенфилда представления математической логики