set-theory-limitations