公理系のセットと同値な定理のセットを公理として取り直すことは †体系の美しさ† のためによくなされる気がします (美しい体系は解析や理解を容易にするのでこれはそんなに揶揄の意図はありません)

熱力学や論理学で見かけがち?

らしいです

https://www.natade.net/webapp/mojicode-kaiseki/#{"dMode":0,"kText":"","kKuten":1,"kISO2022JP":0,"kEUCJP":0,"kSJIS":1,"kCP932":1,"kMenKuTen":1,"kSJIS2004":1,"kUTF8":1,"kUTF16":1,"kUTF32":1,"kCJK":1,"kBikou":1}