Множество - аксиома
Cтраница 1
Множество аксиом независимо, если ни одну из этих аксиом нельзя вывести из других. [1]
Множество аксиом абстракции Тд, как было сказано выше, можно рассматривать как ограничения целостности в задаче абдуктивных рассуждений. После того, как найдено множество абдуцентов для наблюдений наименьшего уровня происходит поднятие на один уровень вверх по иерархии объяснений и, если на нем отмечены наблюдения, которые необходимо объяснить, то начинается процесс нахождения их объяснений. [2]
Если множество аксиом теории у имеет мощность, не превосходящую nij -, то И т является изоморфизмом. [3]
Все множества аксиом АХ, используемые в дальнейшем, удовлетворяют ограничению, накладываемому в утверждении 9.15. Это ограничение на вид АХ предназначено для исключения необычных определений - - отрицания, в которых позитивные литеры могут быть следствиями лишь аксиом, независимо от программы. [4]
Теория Т обладает множеством аксиом, состоящим толька из универсально-экзистенциальных ( П -) предложений. [5]
Показать, что это множество аксиом зависимо. [6]
В частности, если множество аксиом теории не более чем счетно, то Ну является изоморфизмом. [7]
 |
Расширение отношения анкеты.| Пополнение отношения анкеты. [8] |
Частичное отношение можно рассматривать как множество аксиом о том полном отношении, которое представляет это частичное отношение. [9]
Предъявление вывода формулы А из множества аксиом Г можно рассматривать как доказательство утверждения А на основе аксиом, а само предложение Л, для которого построен такой вывод, - как теорему. Это вполне соответствует представлению о теореме как об утверждении, имеющем доказательство на основе аксиом. [10]
 |
Расширение отношения анкеты.| Пополнение отношения анкеты. [11] |
Частичное отношение можно рассматривать как множество аксиом о том полном отношении, которое представляет это частичное отношение. [12]
Она разъясняет также алгебраический смысл множества аксиом и множества всех теорем в теории. [13]
Обратно, если Г обладает множеством позитивных аксиом, то из ( i) следует, что Г - монотонная теория. [14]
Независимо друг от друга они предложили множества аксиом для рассматриваемой в этой гипотезе теории. Ни одно из этих множеств не является, однако, достаточно простым для чтения. [15]
Страницы: 1 2 3 4