Russell–Myhill paradox