Гугл отсылает к некоему Успенскому, который не столь строг в интерпретации теоремы, и даже применяет её к теории алгоритмов (насколько я успел понять).
А если уж даже он неправ, то Гёдель может дальше оставаться строгим - копирайты же на теоремы не распространяются?