User blog comment:LittlePeng9/FOOT is not as strong as I thought/@comment-5529393-20161225200516/@comment-1605058-20161225203102

I personally believe so, though I am not 100% certain how higher order set theory works. The problem lies in defining the truth predicate for \(m\)th order set theory in \(m+1\)th order one. I believe the standard construction of the truth predicate (the one defining in SOST the truth predicate for FOST) translates easily into the higher order setting, but I am sure of that.