User blog comment:KthulhuHimself/Terminal array notation./@comment-25601061-20151026015054/@comment-26428969-20151027132626

that's definable in pure SOST without any problem. Surely even in FOST augmented by an oracle "[phi:A]" that returns the set of all As that makes phi true