Вы здесь

Синонимы к словосочетанию "система аксиом"

Синонимы для словосочетания "система аксиом" не найдены.

  • Так как системная технология представляет собой эмпирическую науку, то сформулированный ниже комплекс принципов допускает трансформацию и трансфиницию на пути построения системы аксиом технологий, удовлетворяющей требованиям непротиворечивости, независимости, истинности, интерпретируемости, полноты, замкнутости и др.
  • Формальная система (БСЭ) — неинтерпретированное исчисление, класс выражений (формул) которого задаётся обычно индуктивно — посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) — посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем.
  • Приведённый ниже комплекс принципов развития целостного инженеринга допускает трансформацию и трансфиницию на пути построения системы аксиом, удовлетворяющей требованиям непротиворечивости, независимости, истинности, интерпретируемости, полноты, замкнутости и др.
  • Карнап сформулировал так называемый принцип терпимости, утверждающий, что в основу каждой естественнонаучной теории можно положить любую систему аксиом и правил синтаксиса.
  • Приведённый ниже комплекс принципов развития системного управления допускает трансформацию и трансфиницию на пути построения системы аксиом, удовлетворяющей требованиям непротиворечивости, независимости, истинности, интерпретируемости, полноты, замкнутости и др.