Считается, что его теоремы показывают невозможность создания полного и непротиворечивого набора аксиом математики, тем самым решая одну из проблем Гильберта

Ответ на вопрос "Считается, что его теоремы показывают невозможность создания полного и непротиворечивого набора аксиом математики, тем самым решая одну из проблем Гильберта ", 6 (шесть) букв:
гёдель