теорема фолеса обьеснить

Теорема Фолеса утверждает, что если у нас есть формальная система с достаточным количеством аксиом и выводных правил, которая не является непротиворечивой, то в этой системе нельзя доказать свою же собственную непротиворечивость.