EN
The aim of this paper is to outline Stanisław Lem’s (1921-2006) original views on Kurt Gödl’s theorems. The project consists of five concise paragraphs in which such issues are discussed: the introduction with an explanation of selected terms: a natural language, polymorphism. The author of the article presents a short outline of certain mathematical problems, that is the problems of arithmetics and the history of trying to prove its absolute non-contradiction. The author also includes Gödl’s theorems into the greatest achievements of the scientific thought of 20th century (limitation theorems). After that, epistemological questions of Kurt Gödl’s theorems are introduced together with their original interpretation according to Stanisław Lem. The author of the paper emphasizes that this prominent philosopher and writer introduces cultural-linguistic interpretation of Gödl’s discoveries, thus suggesting that a natural language overcomes ‘Gödl-made abyss’ thanks to its characteristic polymorphism.