просто непротиворечивая система
1ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …
2Независимость — I Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы …
3АЛЕКСАНДРИЙСКАЯ ПРАВОСЛАВНАЯ ЦЕРКОВЬ (АЛЕКСАНДРИЙСКИЙ ПАТРИАРХАТ) — От основания до сер. VII в. Александрия Судьбы Александрийского Патриархата, особенно на раннем этапе его становления, в значительной степени определялись спецификой исторического развития столицы эллинистического и рим. Египта Александрии. Этот… …
4КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… …
5Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …
6Чёрная дыра — У этого термина существуют и другие значения, см. Чёрная дыра (значения). Изображение, полученное с помощью телескопа «Хаббл»: Активная галактика M87. В ядре галактики, предположительно, находится чёрная дыра. На сни …
7Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …
8ИОАНН ФИЛОПОН — [Грамматик; греч. ᾿Ιωάννης ὁ Θιλόπονος, ᾿Ιωάννης ὁ γραμματικός] (ок. 490, Александрия (?) ок. 575), александрийский ученый, философ, богослов монофизит. Жизнь Сохранившиеся в истории сведения об И. Ф. отрывочны и противоречивы. Помимо… …
9Extremely Reliable Operating System — (EROS)  операционная система на основе мандатов, призванная выполнять требования защиты и надёжности активных систем. Пользователи активных систем могут в любое время вводить и исполнять произвольный код, в том числе ошибочный или даже… …
10Альтернативные теории гравитации — Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности (ОТО) или существенно (количественно или принципиально) модифицирующие ее. К альтернативным теориям гравитации… …