slider23 » from archive
Гёдель против Гентцена - о непротиворечивости арифметики http://akuklev.livejournal.com/1113891.html