Все уже привыкли, что монополия математиков на теорему Гёделя разрушена? Похоже, как было написано на знаменитом стенде кафедры алгебры (по поводу Ферма), "теорема давно утратила математическое содержание, зато ясно виден ее философский смысл". В общем, образовалась народная теорема с разными версиями; на днях ее эффектно
применили к правам человека.
А наиболее короткая формулировка НТГ была предложена там в комментах:
Народная "теорема Геделя" формулируется еще проще: "ни фига ты не докажешь". Широко используется в качестве аргументации.