Это утверждения такого сорта, что сколько не добавляй например в арифметику Пеано (или там ZFC) дополнительные аксиомы, выяснить истинно это утверждение или ложно не представляется возможным. Т.е. это невыразимость более сильная, чем неполнота по Гёделю.
Я вот раньше не знал, а теперь знаю. И это знание наполняет моё сердце радостью ;-)
