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

I see.