/prog/ is about to be deleted

so i was talking to mootykins and he told me that he was thinking that /prog/ would be a great forum to axe.  considering it doesnt meld well with the whole 4chan theme, its gone to astray.  so /prog/, what will you do when your precious forum is gone?

The most widely studied systems of axiomatic set theory imply that all sets form a cumulative hierarchy. Such systems come in two flavors, those whose ontology consists of:

One way to prove that a class is proper is to place it in bijection with the class of all ordinal numbers. This method is used, for example, in the proof that there is no free complete lattice.