35 Логика выводимости

Несколько заумных сентенций относительно выводимости как таковой. Понимаем ее как множество операторов над множеством теорем, задаемся вопросом о существовании базиса допустимых правил вывода.