Вони стосуються обмежень у всіх, крім найбільш тривіальних, формальних систем для арифметики, що становить математичний інтерес.
Перепишіть речення так, щоб воно було простішим: у математичній логіці теореми неповноти Ґоделя, доведені Куртом Ґоделем у 1931 році, є двома теоремами, що стверджують властиві обмеження всіх, крім найбільш тривіальних, формальних систем для арифметики, що становить математичний інтерес.