undecidable formula

Мат. неразрешимая формула