непротиворечивость
91Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… …
92Математическая модель — Математическая модель  это математическое представление реальности[1]. Математическое моделирование  это процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат,… …
93Языковая систематика — Языковая систематика  вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты  языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики… …
94Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …
95Критика атеизма — Основная статья: Атеизм Содержание 1 Атеизм как неверие в существование богов 2 Атеизм как вера, религия …
96Метаматематика — Метаматематика  раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» …
97АТЕИЗМ — (от греч. άθεος, безбожный) неверие в существование каких либо сверхъестественных сил или существ (например, бога, богов, дьявола, духов, ангелов и тому подобное) или отрицание их существования, а также связанное с этим отрицание… …
98Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
99Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
100Лингвистическая систематика — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …