Графики и схемы, иллюстрирующие теорию доказательств в математической логике