Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of sets. Here we prove that SMT is relatively consistent with ZF.

翻译：集合矩阵理论（SMT）已在《逻辑分析》225:59-82（2014）中作为ZF的推广被提出，其中由集合构造的矩阵被视为本原元素，即不作为集合但可作为集合元素的对象。本文证明SMT与ZF具有相对一致性。