Une théorie cohérente ne peut montrer sa propre cohérence