Еще про Геделя
Интересно - а почему именно за его теорему все так зацепились, хотя теорема Тарского,
и гораздо проще для понимания и доказательства и (в силу этого) куда "философичнее"?