Can the theorems of Kirt Gödel be classified, though, is my question. And if so, would their domains of applicability within the universe of formal systems act

Can the theorems of Kirt Gödel be classified, though, is my question. And if so, would their domains of applicability within the universe of formal systems actually be a classification system of that universe in and of itself?