05 аксиомы и выводимость

Аксиоматика исчисления предикатов - 2 версии Правила Бернайса и правило обобщения Монотонность, компактность и транзитивность штопора Теорема о дедукции