О независимых арифметических утверждениях

Давно известно, что существуют арифметические утверждения, которые верны, но не доказуемы. Однако обычно считают, что они обязательно должны быть сложными. В этой статье я покажу, что эти дикие звери могут оказаться совсем рядом.