  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.
