следствие это результат, который очень часто используется в геометрии для обозначения немедленного результата чего-то уже продемонстрированного. следствие это результат, который очень часто используется в геометрии для обозначения немедленного результата чего-то уже продемонстрированного.
Аксиома параллельных прямых
Но возможно и другое построение геометрии – так, например, в геометрии Декарта теорема Пифагора является аксиомой. Что такое следствие в геометрии Следствие — утверждение, которое выводится непосредственно из аксиомы или теоремы. В геометрии 7 класса следствия активно используются для доказательства теорем, свойств геометрических фигур и решения задач.
Заключение
- Что такое следствие в геометрии 7 класс
- Следствие (математика)
- ЧТО ТАКОЕ СЛЕДСТВИЕ В ГЕОМЕТРИИ? - МАТЕМАТИКА - 2024
- § Что такое аксиома и теорема
Исследование феномена особенности в геометрии: определение и конкретные примеры
Ссылки А следствие это результат, широко используемый в геометрии для обозначения немедленного результата чего-то уже доказанного. Следствия обычно появляются в геометрии после доказательства теоремы. Поскольку они являются прямым результатом доказанной теоремы или известного определения, следствия не требуют доказательства. Эти результаты очень легко проверить, поэтому их доказательство опускается. Следствия - это термины, которые в основном встречаются в области математики. Но это не ограничивается использованием только в области геометрии. Слово следствие происходит от латинского венчик, и обычно используется в математике, особенно в областях логики и геометрии. Когда автор использует следствие, он говорит, что этот результат может быть обнаружен или выведен самим читателем, используя в качестве инструмента некоторую ранее объясненную теорему или определение.
Примеры следствий Ниже приведены две теоремы которые не будут доказаны , за каждой из которых следует одно или несколько следствий, выведенных из указанной теоремы.
Формулировка следствия: Если две прямые AB и CD параллельны и пересекаются третьей прямой EF, то соответственные углы при параллельных прямых равны. Из определения параллельных прямых следует, что углы AFE и CDG равны они соответственные с помощью параллельных прямых. Таким образом, у нас есть следствие о равенстве углов при параллельных прямых: углы при параллельных прямых равны, если эти прямые пересекаются третьей прямой. Следствие о параллельности корреспондирующих сторон при пересекающихся прямых В геометрии, следствие о параллельности корреспондирующих сторон является одним из основных следствий, которое происходит от пересекающихся прямых. Предположим, у нас есть две пересекающиеся прямые AB и CD. При пересечении этих прямых мы получаем несколько точек — точку пересечения E и точки F и G, которые соответственно лежат на прямых AB и CD. Итак, следствие о параллельности корреспондирующих сторон утверждает, что если мы проведем прямую EF, то эта прямая будет параллельна прямой CD, а также будет пересекать прямую AB.
Поделиться: Что является следствием в геометрии? Обычно в геометрии следствия появляются после доказательства теоремы. Поскольку это прямой результат уже доказанной теоремы или уже известного определения, следствия не требуют доказательств. Эти результаты очень легко проверить, и поэтому их демонстрация опущена. Следствия - это термины, которые обычно встречаются в основном в области математики. Но это не ограничивается использованием только в области геометрии. Следствие слова происходит от латинского Corollarium, и широко используется в математике, имея большее проявление в области логики и геометрии. Когда автор использует следствие, он говорит, что этот результат может быть обнаружен или получен читателем самостоятельно, используя в качестве инструмента некоторую теорему или определение, объясненное ранее..
Такие допущения либо вообще невозможно проверить, либо сами по себе противоречат эмпирическим фактам. Принятие их оправдывается тем, что благодаря им становится возможной дедукция в данной области науки и получаются нужные следствия. Эти допущения в своей основе суть абстракция, т. Например, все объекты данного класса могут приниматься как различающиеся только по положению в пространстве, как абсолютно независимые друг от друга и т. Очевидно, намерения исследователя не имеют значений истинности. Их нельзя подтвердить или опровергнуть. Их можно только оправдать или нет в зависимости от их последствий. И хотя они сами по себе могут быть заведомо ложными, неопределенными и даже непроверяемыми, получаемые с их помощью следствия могут считаться истинными. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью. Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения — Теорема Жордана — классическая теорема геометрии известная благодаря простоте формулировки и чрезвычайной сложности доказательства. Впервые приведена в «Началах» Евклида... Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных... Доказательство «от противного » лат. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике. Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости. Теорема существования — утверждение, которое устанавливает, при каких условиях существует решение математической задачи или математический объект, например производная, неопределенный интеграл, определенный интеграл, решение уравнения и т. При доказательстве теорем существования используются сведения из теории множеств. Теоремы существования играют очень важную роль в различных приложениях математики, например при математическом моделировании различных явлений и процессов. Математическая модель... Задачи тысячелетия — семь открытых математических проблем, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Существует историческая параллель между задачами тысячелетия и списком проблем Гильберта 1900 года, оказавшим существенное влияние на развитие математики в XX веке; из 23 проблем Гильберта большинство уже решены, и только... Неконструктивное доказательство неэффективное доказательство — класс математических доказательств, доказывающих лишь существование в заданном как правило, бесконечном множестве элемента, удовлетворяющего заданным свойствам, но не дающее никакой информации о других свойствах элемента, то есть не позволяющие ни предъявить его, ни приблизительно описать. Доказательства, которые доказывают существование элемента, предъявляя способ получения этого элемента, называются конструктивными. Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента. Программа Гильберта в математике была сформулирована немецким математиком Давидом Гильбертом в начале 20-го века. Гильберт предположил, что согласованность более сложных систем, таких как реальный анализ, может быть доказана в терминах более простых систем. В конечном счете, непротиворечивость всей математики может быть сведена к простой арифметике. Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей... В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин... Парадоксы импликации — это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений — обоснование одних утверждений ссылкой на другие. Основная теорема англ. Hauptsatz — математическая теорема, получившая особый статус в связи с ключевой ролью для развития какой-либо из областей математики. Такой статус отражает в первую очередь значение для той или иной отрасли, при этом не обязательно он связан со сложностью или элементарностью формулировки или доказательства. Восьмая проблема Гильберта — одна из проблем, поставленных Давидом Гильбертом в его докладе на II Международном Конгрессе математиков в Париже в 1900 году. Восьмая проблема Гильберта состоит из двух задач, относящихся к теории простых чисел. Это гипотеза Римана и проблема Гольдбаха. Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз в качестве замены для аксиомы выбора введённой в 1904 году, обозначается AC. Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков.
Следствие (математика)
Доказательство следствия для прямой в геометрии относится к процессу вывода новых утверждений или теорем на основе уже доказанных фактов. следствие-утверждение, которое выводится непосредственно из аксиом или теорем (геометрия, 7 класс, Атанасян). Следствие в геометрии — это основанное на уже известных свойствах фигур новое свойство, которое может быть легко доказано с использованием теорем и правил геометрии. Определения пересекающихся и параллельных в пространстве прямых, простейшие следствия из аксиом стереометрии.
Секущие в окружности и их свойство. Геометрия 8-9 класс
Следствие в геометрии предназначено для того, чтобы существеннее раскрыть суть содержание суждений, из которых это суждение было выведено. Аноним Следствие вытекает из аксиом, теорем или определений и служит для того что что бы полнее раскрыть их содержание Знаешь ответ?
Но… вынужден признать, что комментарий стоящий, поэтому переписываю раздел о построении прямоугольника. Сумма углов в треугольнике. В случае с текущим доказательством, самым простым способом проверки суммы углов в треугольнике, будет построение четырехугольника с тремя прямыми углами и определение величины четвертого угла.
Если четвертый угол окажется прямым, то соответственно сумма углов в четырехугольнике будет равна 360 градусов. Разделив данный четырехугольник любой диагональю, мы получим два треугольника с суммами углов 180 градусов, то есть суммой двух прямых. Итак, восстановим к прямой из точек A и B два перпендикуляра. На перпендикуляре, выходящим из точки В, восстановим еще один перпендикуляр из точки C.
Перпендикуляры, восстановленные из точек А и С, пересекутся в некой точке D. Такое построение справедливо как в геометрии Евклида, так и в геометрии Лобачевского. Таким образом, в силу нашего построения, мы получим четырехугольник с тремя прямыми углами и одним углом меньшим или равным прямому. Угол больше прямого не допускает Первая теорема Лежандра.
Геометрия Лобачевского этого не отрицает. Возьмем точку О, в середине отрезка BC. Построим окружность c центром в точке O и радиусом OB. Построим окружность с центром в точке O, но с радиусом меньше, чем OB.
Таким образом, мы имеем две окружности с единым центром и прямую проходящую через этот центр. Такая прямая делит окружность на две равные части. Пользуясь рассуждениями данной статьи, можно видеть, что будут равны нулю углы между отрезками, лежащими на прямой BC. Такие построения можно провести на всех сторонах четырехугольника.
Теперь, исходя из того, что угол между любыми отрезками на любой стороне четырехугольника равен нулю и суммируя углы между шестью отрезками в точках A, B и C, получим сумму углов равную трем прямым, то есть 270 градусов. Следовательно, отрезки на сторонах CD и DA повернуты относительно друг друга на 270 градусов. Нетрудно заметить, что до полного оборота на плоскости не хватает 90 градусов, то есть прямого угла. Из этого следует, что угол четырехугольника в точке D есть прямой угол.
Соответственно, сумма углов в четырехугольнике с тремя прямыми углами по построению, будет равна четырем прямым. Любая диагональ делит четырехугольник с четырьмя прямыми углами на два треугольника с суммой углов в два прямых. UPD2: Под спойлером рассуждения не имеющие отношения к доказательству, а именно об определении прямой линии и рамках нашей логики. Если читатель считает предыдущее доказательство наивным, то лучше не заглядывать под спойлер, чтобы более не раздражаться и не загонять карму автора ниже плинтуса.
Одним из примеров следствия в геометрии может быть теорема о равенстве углов, образованных параллельными прямыми и пересекаемой ими трансверсальной. Это следствие из аксиом Евклида и позволяет нам утверждать, что углы, образованные параллельными прямыми и пересекаемой ими трансверсальной, равны между собой. Таким образом, следствие в геометрии — это неотъемлемая часть математического анализа геометрических объектов, которая позволяет нам расширять наши знания и использовать их для решения различных математических задач. А вам нравится исследовать разную информацию? Поделитесь в комментариях!
Аксиомы стереометрии. Аксиома прямой и плоскости. Следствия из аксиом. Аксиома прямая и плоскость. Следствия из аксиом стереометрии. Следствия из аксиом стереометрии с доказательством. Основные понятия стереометрии Аксиомы стереометрии 10 класс. Аксиомы стереометрии через любые три точки. Аксиомы стереометрии 4 Аксиомы. Аксиомы стереометрии 7 класс Атанасян. Аксиомы стереометрии и их следствия. Через любые три точки не лежащие на одной прямой проходит. Через любые три точки проходит плоскость и притом только одна. Через любые три точки не лежащие на одной прямой проходит плоскость. Теорема Аксиома параллельных прямых 7 класс. Аксиома параллельных прямых и следствия 7 класс. Аксиома параллельных прямых 7 класс геометрия доказательство. Аксиома параллельности прямых 7 класс. Аксиомы стереометрии с1 с2 с3. Сформулируйте три Аксиомы стереометрии и следствия из аксиом.. Первая Аксиома стереометрии. Стереометрия Аксиомы стереометрии. Аксиомы стереометрии 10 класс теоремы. Аксиомы стереометрии 10 класс Погорелов. Основные понятия стереометрии Аксиомы стереометрии. Аксиома 1 2 3 и следствия стереометрия. Основные следствия из аксиом стереометрии. Геометрия 7 параллельные прямые Аксиомы. Геометрия 7 класс теоремы и Аксиомы параллельных прямых. Первая Аксиома геометрии. Понятие Аксиома в геометрии. Аксиомы стереометрии следствия из аксиом 10 класс. Геометрия 10 класс Аксиомы стереометрии и их следствия. Некоторые следствия из аксиом. Следствие 2 из аксиом. Следствия геометрия треугольники. Площадь ортогональной проекции многоугольника. Живая геометрия. Следствие из аксиом через 2 пересекающиеся прямые. Что такое Аксиома и следствие в геометрии. Следствие 2 геометрия. Основные Аксиомы стереометрии. Аксиомы стереометрии следствия из аксиом. Аксиомы стереометрии и следствия из них с1 с2 с3. Сформулируйте аксиому а2 стереометрии. Сформулируйте Аксиомы стереометрии с 1. Первая Аксиома стереометрии а1. Сфоомулируйте аксиоиу стереометрии а1. Аксиомы плоскостей 10 класс. Через две пересекающиеся прямые проходит плоскость. Аксиомы и следствия стереометрии 10 класс. Аксиомы стереометрии способы задания плоскости. Следствия из аксиом 10 класс. Следствие из аксиом теорема 1 и 2. Следствие из аксиом теорема 1.
Основные аксиомы в геометрии и следствия их них
Одним из примеров следствия в геометрии может быть теорема о равенстве углов, образованных параллельными прямыми и пересекаемой ими трансверсальной. Это следствие из аксиом Евклида и позволяет нам утверждать, что углы, образованные параллельными прямыми и пересекаемой ими трансверсальной, равны между собой. Таким образом, следствие в геометрии — это неотъемлемая часть математического анализа геометрических объектов, которая позволяет нам расширять наши знания и использовать их для решения различных математических задач. А вам нравится исследовать разную информацию? Поделитесь в комментариях!
В географии параллель — линия, перпендикулярная меридиану, соответствующая воображаемому сечению поверхности планеты плоскостью параллельной экватору. Какое расстояние между параллелями? Какая параллель самая длинная и самая короткая? Это значит, что экватор расположен ближе к южной оконечности Африки, чем к северной, то есть он пересекает континент в его южной, или, по крайней мере, в центральной части.
Поэтому единственным материком, который пересекается экватором именно в северной части, остается Южная Америка. Стоит почитать.
Соотношение между сторонами и углами треугольника следствия. Теорема следствия соотношений между сторонами и углами треугольника. Теорема о соотношении углов и сторон треугольника. Следствие из соотношения между сторонами и углами треугольника. Биссектрисы треугольника пересекаются в одной точке доказательство.
Докажите что биссектрисы треугольника пересекаются в одной точке. Биссектрисы треугольника пересекаются в точке доказательство. Доказать что биссектрисы треугольника пересекаются в одной точке. Следствие 2. Следствие в математике. Если прямая пересекает одну из двух параллельных прямых то. Аксиомы геометрии.
Аксиомы стереометрии и следствия аксиом.. Площади треугольников с общей высотой. Отношение треугольников с общей высотой. Площади треугольников имеющих общую высоту. Доказательство треугольника. Свойство биссектрисы угла треугольника.. Биссектрисы треугольника пересекаются в одной точке.
Пересечение биссектрис в треугольнике. Точка пересечения биссектрис треугольника. Чем отличается Аксиома от теоремы. Что такое Аксиома теорема определение. Что такое теорема и доказательство теоремы. Формула нахождения площади параллелограмма через синус угла. Доказательство теоремы о площади параллелограмма через синус.
Площадь параллелограмма через синус доказательство. Теорема о площади параллелограмма через синус угла. Точка пересечения серединных перпендикуляров к сторонам. Точка пересечения перпендикуляров к сторонам треугольника. Теорема о пересечении серединных перпендикуляров. Точка пересечения серединных перпендикуляров треугольника. Аксиома это.
Аксиома это определение. Следствие 1 из аксиом. Следствие из аксиом о прямой и точке. Сформулируйте следствие из Аксиомы параллельности прямых. Следствие 2 из Аксиомы параллельных. Замечательные точки треугольника. Аксиома параллельности следствия из Аксиомы параллельности.
Аксиома параллельности прямых 7 класс следствия. Аксиома параллельные прямые 7 класс. Следствие 2 из Аксиомы 1 стереометрии. Свойства определителей с доказательством. Определители основные понятия. Свойства определителя доказать. Определители основные понятия свойства определителей.
Собирание доказательств осуществляется. Способы собирания доказательств в уголовном судопроизводстве.. Способы собирания доказательств в уголовном. Собрание доказательств. Доказательство 3 теоремы стереометрии.
Теорема 1. Следствие 1. Гипотенуза прямоугольного треугольника длиннее любого катета. Теорема 2. Следствие 2. В прямоугольном треугольнике углы, прилегающие к гипотенузе, острые. Пояснение: с помощью следствия 2. У треугольника не может быть двух прямых углов. У треугольника не может быть более одного тупого угла. Ссылки Бернадет, Дж.
Следствие в геометрии
- Следствие (математика)
- Следствие в геометрии 7 класс: определение и примеры задач
- Основные аксиомы в геометрии и следствия их них
- Особенности следствия в геометрии
- Что такое следствие в геометрии?...
- Ответы: Что такое следствие в геометрии?...
Что значит определение, свойства, признаки и следствие в геометрии?
Среди углов треугольника хотя бы два угла острые. Доказательство среди углов треугольника хотя бы два угла острые. Доказать следствие среди углов треугольника хотя бы 2 угла острые. Среди углов треугольника хотя бы два угла острые доказать. Через прямые можно провести плоскость и притом только одну. Теорема 2 через 2 прямые проходит плоскость и притом.
Доказать 2 следствие из аксиом стереометрии. Теорема через две пересекающиеся прямые. Доказательство Аксиомы. Теорема о плоскости проходящей через 2 пересекающиеся прямые. Теорема о плоскости, проходящей через две пересекающие прямые..
Второе следствие из аксиом стереометрии. Следствие из аксиом 2 теоремы. Следствия из аксиом стереометрии 2 теоремы. Аксиома параллельности и ее следствия. Следствия из Аксиомы параллельных прямых.
Следствия из Аксиомы параллельности. Аксиома параллельности прямых. Если прямая пересекает одну из двух параллельных прямых то она. Если прямая пересекает одну из двух параллельных. Если прямая пересекает одну из двух параллельных прямых.
Если прямая пересекает одну из параллельных прямых. Если прямая пересекает. Если прямая пересекает одну из двух. Если прямая пересекает одну из прямых то она. Серединные перпендикуляры к сторонам треугольника.
Серединные перпендикуляры треугольника пересекаются в одной точке. Свойство серединных перпендикуляров к сторонам треугольника. Серединный перпендикуляр к отрезку следствие. Теорема Аксиома. Теоремы и доказательства Аксиомы.
Следствие из теоремы Эйлера. Теорема Эйлера для плоских графов. Теорема Эйлера для графов доказательство. Следствие из формулы Эйлера для планарного графа. Доказать следствия из Аксиомы параллельных.
Аксиома параллельных прямых доказательство. Сформулируйте следствия из Аксиомы параллельных прямых. Следствия аксиом стереометрии с доказательством. Следствия из аксиом стереометрии 2 теорема доказательство. Следствие из теоремы синусов.
Доказательство 1 следствия из аксиом. Доказательство следствия теоремы синусов. Следствие из теоремы синусов доказательство. Вывод из теоремы синусов. Теорема синусов 2r доказательство.
Некоторые следствия из аксиом. Некоторые следствия из аксиом стереометрии. Что такое следствие в геометрии. Следствие из 2 Аксиомы доказательство одними буквами. Аксиома параллельных прямых и следствия 7 класс.
Аксиома параллельности прямых 7 класс.
Иногда их еще называются постулатами. Аксиомы могут использоваться для решения конкретных задач или применяться для доказательства теорем. Примечание: не допускается искажение формулировок аксиом и большинства теорем, то есть их нужно учить наизусть. Что такое теорема В отличие от аксиомы, теорема — это суждение, которе требуется доказать. Например: Теорема о сумме углов треугольника равна 180 градусам Теорема о внешнем угле треугольника Теорема о трех перпендикулярах Есть отдельный вид так называемых вспомогательных теорем, которые сами по себе не полезны и используются только для доказательства других теорем.
Что такое Аксиома теорема определение. Что такое теорема и доказательство теоремы. Формула нахождения площади параллелограмма через синус угла. Доказательство теоремы о площади параллелограмма через синус. Площадь параллелограмма через синус доказательство. Теорема о площади параллелограмма через синус угла. Точка пересечения серединных перпендикуляров к сторонам. Точка пересечения перпендикуляров к сторонам треугольника. Теорема о пересечении серединных перпендикуляров. Точка пересечения серединных перпендикуляров треугольника. Аксиома это. Аксиома это определение. Следствие 1 из аксиом. Следствие из аксиом о прямой и точке. Сформулируйте следствие из Аксиомы параллельности прямых. Следствие 2 из Аксиомы параллельных. Замечательные точки треугольника. Аксиома параллельности следствия из Аксиомы параллельности. Аксиома параллельности прямых 7 класс следствия. Аксиома параллельные прямые 7 класс. Следствие 2 из Аксиомы 1 стереометрии. Свойства определителей с доказательством. Определители основные понятия. Свойства определителя доказать. Определители основные понятия свойства определителей. Собирание доказательств осуществляется. Способы собирания доказательств в уголовном судопроизводстве.. Способы собирания доказательств в уголовном. Собрание доказательств. Доказательство 3 теоремы стереометрии. Доказательство 2 теоремы стереометрии. Теоремы и Аксиомы прямой и плоскости. Липшиц непрерывность. Условие Липшица. Условие Липшица равномерная непрерывность. Достаточное условие выполнения условия Липшица. Аксиомы геометрии Аксиома параллельных прямых. В четырехугольнике только 1 из углов может быть больше развернутого. Четырёхугольник и эго элементы. Четырехугольник и его элементы. В четырехугольнике только один угол может быть больше развернутого. Доказательство 2 следствия из аксиом. Теорема о плоскости проходящей через две пересекающиеся прямые. Через две пересекающиеся прямые проходит. Теорема через две пересекающиеся прямые проходит плоскость и притом. Доказательство теоремы Виета. Доказательство теоремы Виеты. Доказательство обратной теоремы Виета. Доказательство теоремы Викта. Недопустимость доказательств. Недопустимые доказательства. Недопустимые доказательства в уголовном.
Третьего не дано. Доказательство от противного: задача на логику Задача. У маляра есть банки только с желтой и фиолетовой красками. Банки с желтой краской всегда большие. Есть маленькая банка с краской. Докажите, что краска в ней фиолетовая. Давайте покажем формальную схему, как устроено доказательство от противного, на примере простой логической задачи. По условию известно, что большой банка может быть, только если краска в ней желтая. Но это невозможно, поскольку заведомо также известно, что банка-икс маленькая. Банка фиолетовая. О противоречиях Внимательный читатель мог заметить странность, связанную с противоречиями. Изначально, когда речь шла про следствия, мы подчеркнули важность их доказательства, дабы исключить противоречие с аксиомой-основой или теоремой-основой. Следствие не может противоречить аксиоме, из которой оно выводится, и это факт.
Что такое аксиома, теорема, следствие
Что является следствием в геометрии? следствие это результат, который очень часто используется в геометрии для обозначения немедленного результата чего-то. Следствие в геометрии — это вывод или утверждение, которое следует из уже доказанного факта или теоремы. Слово «следствие» происходит от латинского Corollarium и обычно используется в математике, чаще встречается в областях логики и геометрии.