基礎論的な観点からは選択公理の使用に注目したいかもしれないけど、
Zornの補題も普通の数学の定理だと思えば、極大元を構成する手順こそが本質でしょう
どちらも間違ったことは言ってないと思うよ