Теорема — это утверждение, истинность которого устанавливается путем логического доказательства на основе аксиом и ранее доказанных теорем.