Kurt Gödel proved that axiomatic formal systems contain self-referential statements that cannot be resolved without redefining the formal language