Напишите плиз, какие бывают виды теорем

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