Под надежным немецким небом

[silver_morning]

Гёдель формулирует теорему о неполноте.