そのような集合の存在は、カントールによって初めて示されたのじゃい.
のじゃい