Part I.
Mathematical Logic.