1. Математичка логика и теорија скупова