"Aspects of incompleteness" - читать интересную книгу автора (Per Lindstroem)