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

I'm starting a vote about whether this stuff should be added to the mainspace.