Обнаружил, что желаемой рядом нет. Хотелось бы почитать, посоветуйте! Особенно надо развеять туман насчёт того, какие обычно добавляются правила вывода и аксиомы, имеющаяся книга с поверхностным рассмотрением запутала.
(Хотел доказать эквивалентность двух «видов»
(имеется в виду)
С переходом

против

.
индукции — и застрял в самом начале!)
Спасибо заранее!
