Mathematical Logic 2

Today we are meeting Mathematical Logic 2.