User blog comment:Ynought/Question/@comment-35470197-20190422104224

No. FOST (in googology) is just a formal language, but not a formal theory. PTO is defined only for a formal theory satisfying several conditions.