そもそも無限公理は使って良いの?
外延性公理は?