Аристотель считал, что логика — инструмент к познанию, который объединяет методом получения информации науки

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