Šf z > 1. Mathematics Logic