"непротиворечива"

непротиворечи́ва

Другими словами так:
Если теория непротиворечива, то она либо Истинна либо нет. Но теория содержит аксиомы, которые либо Истинны, либо нет.

Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

Математики и логики исполнены надежды, что теория натуральных чисел непротиворечива.

То есть теория непротиворечива, если всякая её теорема является истиной.

Теория в математическом отношении непротиворечива.

Теорема звучит примерно так: нельзя доказать, что система непротиворечива, не выходя за рамки этой системы, если эта система действительно непротиворечива

удалось доказать в своей логико-арифметической системе формулу, метаматематический смысл которой можно передать словами: "Если формальная арифметика непротиворечива

Для человека, живущего внутри некоторого описания, картина мира непротиворечива.

Известен такой афоризм: Бог существует -- ибо математика непротиворечива; но существует и дьявол -- ибо мы не можем доказать ее непротиворечивость.

Если моя система понятий очень хороша, непротиворечива, но не понятна окружающим, то она не принесет никакой пользы ни мне, ни окружающим, она не будет

Действительно, если физика системна (то есть связна, непротиворечива, едина во всем своем многообразии), она просто обречена опираться на аксиоматическую

Если считать, что языковая система, которой мы пользуемся, непротиворечива, а от присоединения к ней утверждения-парадокса выводится противоречие, то,

Правильная Идея -- коггерентна, непротиворечива, независима, открывает всеобщее понимание, Освобождает от зависимостей, Приносит Успех и Саму Свою Цель

А правда постигается в борьбе и потому стройна и непротиворечива.

Булева (и интуиционистская) алгебра "чистых" высказываний полна, разрешима и непротиворечива.

"Если формальная система S непротиворечива, то формула A невыводима в S; если система S ;-непротиворечива, то формула A невыводима в S.

Первая теорема Геделя утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

позиция -- насилие);
2) она заканчивается выводом "этот поступок объективно аморален" (итог -- понимание морали);
3) она убедительна, логически верна и непротиворечива

Но сама концепция существования в сопряженных подпространствах логически непротиворечива и достаточно полна, для того чтобы не считаться картографической

Для человека, живущего внутри некоторого описания, картина мира непротиворечива.