Gödel — what formal systems cannot

In every sufficiently expressive formal system, there is some true sentence it cannot prove.

Application to alignment: no model, by its own training, can guarantee its own truths. Validation has to come from outside — a human, another architecture, or a system of traceable origins.