Запись

касающаяся проблемы доказательства существования бесконечной системы.