Математика и логика: Диаграмма Эйлера и Венна