непротиворечивость

  • 91Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… …

    Википедия

  • 92Математическая модель — Математическая модель  это математическое представление реальности[1]. Математическое моделирование  это процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат,… …

    Википедия

  • 93Языковая систематика — Языковая систематика  вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты  языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики… …

    Википедия

  • 94Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …

    Википедия

  • 95Критика атеизма — Основная статья: Атеизм Содержание 1 Атеизм как неверие в существование богов 2 Атеизм как вера, религия …

    Википедия

  • 96Метаматематика — Метаматематика  раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» …

    Википедия

  • 97АТЕИЗМ — (от греч. άθεος, безбожный)  неверие в существование каких либо сверхъестественных сил или существ (например, бога, богов, дьявола, духов, ангелов и тому подобное) или отрицание их существования, а также связанное с этим отрицание… …

    Википедия

  • 98Исчисление предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 99Исчисления предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 100Лингвистическая систематика — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …

    Википедия