Визуализация и иллюстрация общих высказываний в математике