User blog comment:KthulhuHimself/Norminals Revisited./@comment-1605058-20151210195856/@comment-27014275-20151211070326

On your "Higher order set theory" post.