Математика и логика: Декартов квадрат множества