User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-1605058-20180203102941/@comment-31580368-20180207155655

As I understand, ZFC is FOST (first order set theory). But what is stronger PTO of ZFC+large cardinal (e.g. ZFC+huge cardinal) or PTO of some SOST (second order set theory)?