Смотря какую теорему, многие теоремы доказываются очень легко, те теоремы которые найдены обычным логическим путем.
А доказать теорему уже нету необходимости, она уже доказана это Теорема.
А есть многие аксиомы которые понятны без доказательств.
А есть не решаемые задачи для которых требуются новые теоремы, но их нету, если ты докажешь что они есть тогда ты можешь считать что ты справился.
Как-то так, извини за многословие, просто плохо понял вопрос.
Взять уже доказанные теоремы + аксиомы - и с помощью логических операций провести цепочку к нужному утверждению.
Подробнее лень писать, лучше доказать конкретную теорему))).
Добавить комментарий