等号のあるLKで考えているとして、空集合の存在を証明するのに、
外延性公理と分出公理以外に必要な公理ありましたっけ？

どうもそれだけで証明できそうな気がするんだけど、自信ないなあ。
どなたか偉い人教えてちょ