Why it is even relevant? Godel's incompletness theorem applies to almost any strong formal system with self-referential abilities, so if you want to do a good f

Why it is even relevant? Godel's incompletness theorem applies to almost any strong formal system with self-referential abilities, so if you want to do a good formalization, you bound to have one that satisfy Godel's theorem requirement.