Математика и логика: область определения и множества значений