Tolong jelaskan mengenai Aksioma keberadaan himpunan dari Notasi ungkapan himpunan

Dalam banyak teori himpunan formal, seperti teori himpunan Zermelo–Fraenkel, notasi ungkapan himpunan bukanlah bagian dari sintaks formal dari teorinya. Sebagai gantinya, terdapat sebuah skema aksioma keberadaan himpunan, yang menyatakan bahwa jika  adalah sebuah himpunan dan  adalah sebuah rumus dalam bahasa teori himpunan, maka terdapat sebuah himpunan  yang anggotanya persis unsur  yang memenuhi :

Himpunan  diperoleh dari aksioma ini persis himpunan yang digambarkan dalam notasi ungkapan himpunan sebagai .