>>187です
教科書がないので調べてみたんですが、ツォルンの補題を用いた証明が見つけられません
どなたかツォルンの補題を用いて「Aが無矛盾→Aはモデルを持つ」を証明したサイトを教えてください
何度もすいません
お願いします