03 монотонность и компактность

Монотонность выводимости относительно множества формул Компактность: можно выделить конечный набор порождающих формул Пример с электрической цепью