The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Axiom of Separation
Can take a subset of a set. This is an axiom scheme
where is a formula with
The set whose existence is asserted by (Sep) is unique by (Ext)
We denote this by
Formally, we are introducing an -arry operation symbol to the language.