さらに、ZFCなどの従来の集合論よりも単純な存在論に基づく"iterativeconceptionofset"と呼ばれるSTのより精巧な存在論がもっと簡単な公理（公理型）を構成している。
而ST更加精致的本体论，根源于现在所谓的“集合的迭代构想”，导致了远比有着更简单的本体论的常规集合论如ZFC简单得多的公理（模式）。