Новости
Случайная цитата
  • Ограничительные теоремы в интерпретации В.А. Канке
    «Ограничительные теоремы - теоремы, которые в отличие от неограничительных, сужают границы действенности теории. Проиллюстрируем сказанное на примере логики предикатов первого порядка. Чаще других среди «положительных» метатеорем логики предикатов называются следующие. Для логики предикатов существует независимость некоторого множества аксиом (теорема Дж. Маккинси).  Классическое исчисление предикатов первого порядка семантически непротиворечиво, т.е. каждая его формула универсально общезначима....