text: Так например, широко известна вторая теорема Гёделя, согласно которой в рамках любой формальной системы, включающей арифметику натуральных чисел, если эта система непротиворечива, нельзя доказать её непротиворечивость.