[6gvONxR4sf7o]

As mentioned in that answer, these "natural independence phenomena" do seem much more interesting than Gödel's incompleteness results.