>>789
その「取り出す」のは分出公理に拠っているのです
普通は必要ないけど、貴方は(公理的)集合論の勉強をした方がいいかもしれません