Альтернативные системы аксиом - лекция по философии

 

Тезисы:

  • Система аксиом Клини.
  • Система аксиом Гилберта Иакермана.
  • Система аксиом Россера.
  • Система аксиом Мередита.
  • Во всех случаях задавались схемы аксиом, т.е. реальное количество аксиом в каждом случае бесконечно.
  • (A->-B) в аксиоматике ИВ L и A&B.
  • В аксиоматике L имеет место тавтологии и , следовательно, по МР имеем и .
  • Таким образом, мы можем переносить аксиомы между схемами аксиом.
  • Нужно проверить общезначимость аксиом и то, что правила вывода сохраняют общезначимость.
  • Мы уже доказали общезначимость аксиом: аксиомы (A1-A3) общезначимы по утв.

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные лекции по философии