виды теорем

Ответ от * Лариса *[гуру]
ТЕОРЕМА - это утверждение, для которого в рассматриваемой теории существует доказательство.
Виды теорем:
АКСИОМА - тверждения, которые, в рамках конкретной теории, принимаются истинными без всяких доказательств или обоснований.
ЛЕММА - доказанное утверждение, полезное не само по себе, а для доказательства других утверждений.
Утверждения, о которых неизвестно, являются ли они теоремами, обычно называют ГИПОТЕЗАМИ.
Источник: викизнание