User blog comment:LittlePeng9/Higher order set theory/@comment-26428969-20150826092843/@comment-1605058-20150826100316

Yes, one can think of FOOT as of a (successful) attempt to formalize what O'OST was supposed to achieve.