In Principia Mathematica, Russell and Whitehead attempted to prevent loops by restricting set theory so that sets occupied the same level and could not be integrated over one another.

“And Russell and Whitehead in Principia Mathematica were attempting to do this by, um, limiting set theory in such a way that, um, s-sets had to be at the same level, and you could not simply integrate them over each other to create loops.”