User blog comment:TheKing44/Grand Finale Functions/@comment-35470197-20190611051239

> since it will be the size of a proper class (which first-order set theory can not talk about).

It is incorrect. NBG and MK are well-known first order set theories which can directly deal with proper classes.