Альтернативные системы аксиом

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