クリプキの名指しの理論

アリストテレスがアリストテレスと命令されなかった可能世界でも
「アリストテレス」という剰余は残るんだけど。C大って馬鹿でしょ？