Теоремы в логике: обзор и визуализация различных видов