Тэарэма

З пляцоўкі Вікіпедыя.

Тэарэ́ма (грэч.: θεώρημα — «выгляд, паданне, становішча») — сцвярджэнне, для якога ў разгляданай тэорыі існуе доказ (інакш гаворачы, выснова). Асобным выпадкам тэарэм з'яўляюцца аксіёмы, якія прымаюцца праўдзівымі без усякіх доказаў або абгрунтаванняў. Для аксіём доказам служыць пустуая выснова.

У матэматычных тэкстах тэарэмамі звычайна завуць толькі досыць важныя сцвярджэнні. Пры гэтым патрабаваныя доказы звычайна кімсьці знойдзеныя (выключэнне складаюць у асноўным працы па логіцы, у якіх вывучаецца само паняцце доказу, а таму ў некаторых выпадках тэарэмамі завуць нават нявызначаныя сцвярджэнні). Меней важныя сцвярджэнні-тэарэмы звычайна завуць лемамі, прапановамі, следствамі і іншымі падобнымі тэрмінамі. Сцвярджэнні, аб якіх невядома, ці з'яўляюцца яны тэарэмамі, звычайна завуць гіпотэзамі.