都是数学逻辑类