The Russell paradox proved this system inconsistent, but George Boolos (1998) and David J. Anderson and Edward Zalta (2004) show how to repair it.
当然，罗素悖论证明了这个系统是不自恰的，但是 George Boolos（1998）和 Anderson 与 Zalta（2004）展示了如何修补它。