roughly correct insofar as there are undecidable mathematical statements. I don't understand though, how "we can study, meaningfully" these objects that our for

roughly correct insofar as there are undecidable mathematical statements. I don't understand though, how "we can study, meaningfully" these objects that our formal systems cannot compute. These statements do exist, and we can (interestingly) express them in language and understand them (as a gut feeling), but all we can do is stare awkwardly at them, undecidedly. imvvho, we cannot claim that metaphors (or language) are more powerful than formal systems by that.