The discussion explores the possibility of proving the consistency and independence of axioms by translating set theory problems into other fields, such as algebra. It highlights that one does not necessarily need to shift to other fields, as certain axioms, like ZFC combined with large cardinal axioms, can sufficiently demonstrate the consistency of ZFC. Participants express interest in further investigating these connections. The conversation emphasizes the interplay between different mathematical domains in addressing foundational questions. Overall, the topic underscores the potential for cross-disciplinary approaches in mathematical logic.