>>95
「ｘが空集合である」という論理式を定義するのには、集合の存在は不要。
その定義を満たすｘが存在することを示すときに、
何か集合が一つでも存在していないといけないというだけ。
Axiom of infinity は「ｘが空集合である」という論理式を使っているだけ、
そういう集合の存在は仮定してないので循環論法ではない。