某スレで話題になっててちょっと思ったんだが、
Zornの補題って研究とかで実際に使ったりするのかな。

Zornの補題使うような定理っていかにも集合論くさい臭いがプンプンしてるし
一般的に理論を作るときくらいしか要らなくて実用上はあまり必要ないんじゃないだろうか。