Содержание

• последовательный

  
  

  В классической дедуктивной логике непротиворечивая теория - это та, которая не содержит противоречий. Отсутствие противоречия можно определить либо в семантических, либо в синтаксических терминах. Семантическое определение гласит, что теория непротиворечива тогда и только тогда, когда она имеет модель, то есть существует интерпретация, согласно которой все формулы в теории верны. Этот смысл используется в традиционной аристотелевской логике, хотя в современной математической логике вместо этого используется термин выполнимый. Синтаксическое определение гласит, что теория T { displaystyle T} непротиворечива тогда и только тогда, когда не существует формулы φ { displaystyle varphi}, такой что φ { displaystyle varphi} и ее отрицание ¬ φ { displaystyle lnot varphi} являются элементами множества T { displaystyle T}. Пусть A { displaystyle A} будет набором закрытых предложений (неофициально «аксиомы») и ⟨A⟩ { displaystyle langle A rangle} набором закрытых предложений, доказуемых из A { displaystyle A} в некоторых (указанных, возможно неявно) формальная дедуктивная система. Набор аксиом A { displaystyle A} непротиворечив, когда ⟨A⟩ { displaystyle langle A rangle} существует. Если существует дедуктивная система, для которой эти семантические и синтаксические определения эквивалентны для любой теории, сформулированной в конкретном дедуктивном логика, логика называется полной. Полнота исчисления предложений была доказана Полом Бернайсом в 1918 году и Эмилем Постом в 1921 году, в то время как полнота исчисления предикатов была доказана Куртом Геделем в 1930 году, а доказательства непротиворечивости для арифметики, ограниченные схемой аксиомы индукции, были доказаны Аккерманом (1924), фон Нейман (1927) и Хербранд (1931). Более сильные логики, такие как логика второго порядка, не являются полными. Доказательство согласованности - это математическое доказательство согласованности конкретной теории. Раннее развитие математической теории доказательств было обусловлено желанием предоставить окончательные доказательства согласованности всей математики в рамках программы Гильбертса. На программу Гильбертса сильно повлияли теоремы о неполноте, которые показали, что достаточно сильные теории доказательств не могут доказать свою непротиворечивость (при условии, что они на самом деле непротиворечивы). Хотя согласованность может быть доказана с помощью теории моделей, это часто делается чисто синтаксическим способом, без необходимости ссылаться на какую-то модель логики. Исключение вырезов (или, что то же самое, нормализация базового исчисления, если таковое имеется) подразумевает согласованность исчисления: поскольку очевидно, что нет доказательств ложности без вырезов, в общем, нет противоречия.

  
  

• Консистентный (прилагательное)

  опечатка в соответствии

• Последовательный (прилагательное)

  Регулярно встречающегося, надежного характера. с конца 16 в. в устаревшем смысле «состоящий из»

  «Последовательное использование Chinglish в Китае может быть очень раздражающим, кроме некоторого начального развлечения».

  «Он очень последовательн в своем политическом выборе: экономика хорошая или плохая, он всегда голосует за лейбористов!»

• Последовательный (прилагательное)

  Совместимый, согласный.

• Последовательный (прилагательное)

  Из набора утверждений: таких, что никакое противоречие логически не вытекает из них.

• Последовательный (существительное)

  Объекты или факты, которые сосуществуют или находятся в согласии друг с другом.

• Последовательный (существительное)

  Вид кающегося, которому было позволено помогать, ему разрешалось принимать святые таинства.

  
  

• Последовательный (прилагательное)

  Обладая твердостью или твердостью; фирма; жесткий; твердое вещество.

• Последовательный (прилагательное)

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

• Последовательный (прилагательное)

  Жить или действовать в соответствии со своими убеждениями или профессиями.

• Последовательный (прилагательное)

  (иногда сопровождается `с) в согласии или последовательно или надежно;

  «показания в соответствии с известными фактами»

  «Я решил, что курс поведения, которым я следую, соответствует моему чувству ответственности как президента во время войны»

• Последовательный (прилагательное)

  отмечены упорядоченным, логичным и эстетически последовательным соотношением частей;

  «логический аргумент»

  «упорядоченная презентация»

• Последовательный (прилагательное)

  способный к воспроизведению;

  «Удивительно воспроизводимые результаты могут быть получены»

• Последовательный (прилагательное)

  то же самое повсюду в структуре или составе;

  «Битуминозный уголь часто рассматривается как однородный и однородный продукт»