数学推理包括哪些推理