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