In this theorem, he showed that there were limits to what could be proved and disproved within a formal system.
В этой теореме, он показал, что существуют пределы того, что может быть доказано и опровергнуто с помощью формальной системы.