Use logical notation to define and reason about fundamental mathematical concepts such as sets, relations, functions, and integers.

• 使用逻辑符号来对基础数学概念（如集合、关系、函数和整数）进行定义和推理。