Здравствуйте, ·, Вы писали:

·>Теорема самоприменимости тривиально сводится к теореме нулеприменимости.

Приведи плс точную формулировку и доказательство этой "теоремы нулеприменимости"