Это о том, что в любом строгом  языке существует  истинное (или ложное) высказывание, которое невозможно доказать.Это если по простому.Я в школе ее темой по выбору брала.Нигде и никогда она мне не пригодилась кроме самого факта знания этого любопытного утверждения