User blog comment:P進大好きbot/First Order Theory beyond Higher Order Set Theory/@comment-30279966-20200125122038/@comment-30279966-20200213125152

@Other members of the panel

So, what is the decision? If nobody disagrees with addition within a week, I think it's acceptable to mention this stuff in the mainspace.