Bertrand Russell has a very similar proof in Principles of Mathematics (1903, section 348), where he shows that there are more propositional functions than objects.
バートランド・ラッセル (Bertrand Russell) は Principles of Mathematics (1903, section 348) において非常によく似た証明をしており、そこで彼は対象よりも命題関数の方がたくさんあることを示す。