[Dylan16807]

> If this were formalizable it would be a proof.

A proof, but not a proof that can be expressed inside ZFC.

[dodobirdlord]

Obviously, the original statement has been proved to be independent from ZFC.