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

(Oh, and in the Rayo's number article, it calls Rayo's definition of first-order set theory FOST.)