undecidable proposition

Мат. неразрешимое предложение