| định lý đảo | định lý thuận | định lý | định lý toán học |
| định lý phản chứng | định lý cơ bản | định lý tương đương | định lý ngược |
| định lý phụ | định lý chính | định lý bậc nhất | định lý bậc hai |
| định lý hình học | định lý đại số | định lý xác suất | định lý số học |
| định lý logic | định lý hàm số | định lý biến đổi | định lý tổng quát |