Математичка логика, скупови, релације и функције