数学中逻辑的定义有哪些类