A Naive Encoding of Russell's Paradox in Type Theory. - Zhuoyuan Qu (CoRR, 2026)