The mind can grasp unprovable truths.

The mind can generate and interpret infinite meanings from finite input.

Truth can exist without derivability.

Understanding is not reducible to rule-following.