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