Šf z > OLD_1. Mathematical Logic